CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
- coq
- hammer
- automation
- proof-search
Repository Index
47,133 repositories indexed
1–4 of 4 · Most stars
Elm architecture and (V)DOM for OCaml
CUID generator for OCaml. :id: :camel: :1234: :gear:
- cuid
- ocaml
A Commitment Scheme library for Coin Flipping/Tossing algorithms and sort. :four_leaf_clover: :camel: :lock: :key:
- ocaml
- commitment-schemes
- secure-multi-party-computation
- cryptography