Report or block jessealama
Contact Support about this user's behavior.Report abuse
- Mainz, Germany
Tools for exploring logic through Lorenzen dialogue games.
Common Lisp 6
Breaking up mizar articles into bits and computing relations among them.
LADR: Library for Automated Deduction Research
Theory development with TPTP
A collection of utilities for making websites with the hunchentoot web server
Emacs utilities to facilitate copyediting tasks at the Stanford Encyclopedia of Philosophy