ProofWiki: Online compendium of mathematical proofs(proofwiki.org)130 points by Tomte 2 years ago | 28 comments
Loglan'82: programming language for object-oriented and distributed programming(lem12.uksw.edu.pl)48 points by danielam 1 year ago | 6 comments