Logipedia

swMATH32313MaRDI QIDQ44024FDOQ44024

Author name not available (Why is that?)

Official website: http://logipedia.science

Cited In (2)

• EUCLID
• A plugin to export Coq libraries to XML

This page was built for software: Logipedia