CTAN Comprehensive TeX Archive Network

Emmanuel Beffara

Symbols for linear logic
Formal proofs in the style of sequent calculus
French cursive hand fonts
Decorate theorem statements
Guest Book Sitemap Contact Contact Author