jessealama
Follow
Highlights
- Pro
Stars
4
stars
written in Common Lisp
Clear filter
Tools for exploring logic through Lorenzen dialogue games.
Breaking up mizar articles into bits and computing relations among them.
A parallelism library for Common Lisp.