Gagallium : A new Coq tactic for inversion - discu.eu

Reddit

[Gagallium] A new Coq tactic for inversion http://gallium.inria.fr/blog/a-new-Coq-tactic-for-inversion/ 4 comments 4/5/2013 coq

Linking pages

GitHub - tchajed/coq-tricks: Tricks you wish the Coq manual told you https://github.com/tchajed/coq-tricks 0 comments

Related searches:

Search whole site: site:gallium.inria.fr

Search title: Gagallium : A new Coq tactic for inversion

See how to search.

Submit link to: