Romancpodolski's Gems

#	Total Rank	Daily Rank	Name	Summary
1	120,881	103,205	satre	I think therefore I am. Satre is a library for proportional and first order logic....
2	152,660	80,006	syzygies	This is a simplification of a word puzzle created by the English polymath Lewis Caroll ...