Alternative Aggregates in Mizar
Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
Automation for Dependently Typed Functional Programming
Fundamenta Informaticae - Dependently Typed Programming
The open theory standard theory library
NFM'11 Proceedings of the Third international conference on NASA Formal methods
A proof-theoretic approach to hierarchical math library organization
MKM'05 Proceedings of the 4th international conference on Mathematical Knowledge Management
Hi-index | 0.00 |