Archive of Formal Proofs **

  • Print
User Rating:  / 0
PoorBest 

An alive collection of formal proof materials ( EN ), organized in a way of a scientific journal.