Romancpodolski's Gems

icon
#Total RankDaily RankNameSummary
1125,31359,661satreI think therefore I am. Satre is a library for proportional and first order logic....
2153,209115,073syzygiesThis is a simplification of a word puzzle created by the English polymath Lewis Caroll ...