Notice

Formalized definitions and proofs **

  • Print
User Rating:  / 0
PoorBest 
Details
Written by Admin
Hits: 951

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

On formal discontinued project QED ( wiki EN ).

Submit Formalized definitions and proofs ** in Delicious Submit Formalized definitions and proofs ** in Digg Submit Formalized definitions and proofs ** in FaceBook Submit Formalized definitions and proofs ** in Google Bookmarks Submit Formalized definitions and proofs ** in Stumbleupon Submit Formalized definitions and proofs ** in Technorati Submit Formalized definitions and proofs ** in Twitter Submit Formalized definitions and proofs ** in Twitter