Coqtail

swMATH32382MaRDI QIDQ44093FDOQ44093

Author name not available (Why is that?)

Official website: https://coqtail.github.io/index.html

Source code repository: https://github.com/coqtail/coqtail

Cited In (1)

• Non-constructive complex analysis in Coq

This page was built for software: Coqtail