Notice

Archive of Formal Proofs **

User Rating:  / 0
PoorBest 

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