Skip to content
Snippets Groups Projects
Commit e6b59f8f authored by Dan Licata's avatar Dan Licata
Browse files

typeset a bunch of proofs

parent aa335b3b
Branches
Tags
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment