Logipedia

MaRDI QIDQ44024swMATHFDO

Official website http://logipedia.science

Cited in

(2)

• EUCLID
• A plugin to export Coq libraries to XML

This page was built for software: Logipedia