CTAN
Comprehensive TeX Archive Network

Emmanuel Beffara

For­mal proofs in the style of se­quent cal­cu­lus
Sym­bols for lin­ear logic
French cur­sive hand fonts
Dec­o­rate the­o­rem state­ments
Guest Book Sitemap Contact