Formalized Mathematics (a computer assited approach): journal and remote proof-read and previewing (latest previewing)

---

Experimental version, New technology