Vol-1784⫷ Vol-1785 ⫸Vol-1786
urn:nbn:de:0074-1785-0


Vol-1785/SchubotzAbstract⫷Vol-1785/ZimmemannAbstract⫸Vol-1785/dmlwip
Théo Zimmermann

Design and Development of a Tool Based on Coq to Write and Format Mathematical Proofs