Notice

Formalized definitions and proofs **

User Rating:  / 0
PoorBest 

Mizar system for such style writing math ( wiki EN, home EN ).

On formal discontinued project QED ( wiki EN ).