Giters
acipsen

acipsen

Geek Repo

1

followers

0

following

0

stars

Github PK Tool:Github PK Tool

acipsen's repositories

randi

Experimental proof assistant for metamath

Language:JavaScriptLicense:CC0-1.0Stargazers:0Issues:1Issues:0

set.mm

Metamath source file for logic and set theory

Language:Objective-C++License:CC0-1.0Stargazers:0Issues:0Issues:0

steiner-systems

Language:HTMLStargazers:0Issues:1Issues:0