Sciweavers

ITP
2010
109views Mathematics» more  ITP 2010»
13 years 5 months ago
A Tactic Language for Declarative Proofs
Influenced by the success of the MIZAR system many declarative proof languages have been developed in the theorem prover community, as declarative proofs are more readable, easier...
Serge Autexier, Dominik Dietrich