Romancpodolski's Gems

icon
#Total RankDaily RankNameSummary
1125,14650,516satreI think therefore I am. Satre is a library for proportional and first order logic....
2152,954128,541syzygiesThis is a simplification of a word puzzle created by the English polymath Lewis Caroll ...