The Tactician

icon indicating a website link coq-tactician.github.io

icon location A Seamless, Interactive Tactic Learner and Prover for Coq

Results 0 comments of The Tactician