acipsen

Pinned Repositories

randi
Experimental proof assistant for metamath
Language:JavaScript0 1 00
set.mm
Metamath source file for logic and set theory
Language:Objective-C++0 0 00
steiner-systems
Language:HTML0 1 00
set.mm
Metamath source file for logic and set theory
Language:HTML246 21 36488

acipsen's Repositories

acipsen/randi
Experimental proof assistant for metamath
Language:JavaScript0 1 00
acipsen/set.mm
Metamath source file for logic and set theory
Language:Objective-C++0 0 00
acipsen/steiner-systems
Language:HTML0 1 00