Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for ocaml coq plugin
coq-plugin
x
ocaml
x
5 search results found
Coq Tactician
⭐
47
A Seamless, Interactive Tactic Learner and Prover for Coq
Pumpkin Patch
⭐
38
Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker
Aac Tactics
⭐
29
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
Coq Ast
⭐
7
Coq plugin for printing term abstract syntax trees and their digests
Coq Plugin Lib
⭐
6
Library of useful utility functions for Coq plugins
Related Searches
Ocaml Reasonml (475)
Bindings Ocaml (428)
Ocaml Reason (394)
Ocaml Bucklescript (320)
Types Ocaml (294)
Language Ocaml (289)
C Ocaml (246)
Javascript Ocaml (181)
Reactjs Ocaml (168)
Ocaml Coq (163)
1-5 of 5 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.
