All Categories → No Category → tactical

Top 1 tactical open source projects

A Coq library providing tactics to deal with hypothesis

✭ 14

Coq shell coq tactics hypothesis tactical formal-proofs

1-1 of 1 tactical projects