Skip to content
This repository was archived by the owner on Apr 2, 2025. It is now read-only.

Add some basic snippets - #214

Open
eric-wieser wants to merge 1 commit into
leanprover:masterfrom
eric-wieser:snippets
Open

eric-wieser wants to merge 1 commit into
leanprover:masterfrom
eric-wieser:snippets

Commits

Commits on Jul 27, 2020