Racket, JS, Lean, math.
Highlights
- Pro
Stars
4
results
for source starred repositories
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.