darcs.nomeata.de
nomeata’s darcs repositories
http://darcs.nomeata.de/HEADER.html
There are git mirrors.
joachim-breitner.de
Projects – Joachim Breitner's Homepage
http://www.joachim-breitner.de/projects
This project list is far from complete. Unfortunately, I did not yet find the time to fix this. You can find more on my weblog, in my GIT-. As well as on GitHub. The Incredible Proof Machine. The Incredible Proof Machine is a tool to perform proofs in various logics (e.g. propositional, predicate logic) visually: You simply add blocks that represent the various proofs steps, connect them properly, and if the conclusion turns green, then you have created a complete proof! Introduction on my Blog. The unic...