Formalized definitions and proofs **

  • Print
User Rating:  / 0
PoorBest 

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

On formal discontinued project QED ( wiki EN ).