Archive of Formal Proofs **
- Details
- Written by Admin
- Hits: 978
An alive collection of formal proof materials ( EN ), organized in a way of a scientific journal.
An alive collection of formal proof materials ( EN ), organized in a way of a scientific journal.