Show HN: Live software archaeology of FOL (theory of reasoning)

 (io.livecode.ch)

3 points | by namin 8 hours ago

0 comments