Some proofs of theorems with various tools.
Primary LanguageCommon LispGNU General Public License v3.0GPL-3.0