BuilderGraphAccount

Tag

#theorem-proving

4 repositories

Repos

ACL2 System and Books as Maintained by the Community

Common Lisp Circom Language

436 stars

63 devs

Extracting the semantics of Noir to Lean for formal verification

40 stars

8 devs

Inferara/inferara.com

Inferara official website

HTML Ethereum Virtual Machine Stack

3 stars

4 devs

input-output-hk/equivalence-reasoner

An automated equivalence reasoner for Isabelle/HOL

Isabelle Cardano

2 stars

1 devs

Subscriber view

Unlock the full view of tag #theorem-proving

Full repository, commit, and contributor breakdown
Peer graph and ecosystem links
Weekly trend deltas and pulse signal
API and CSV / JSON exports

Subscribe Sign in

Already a subscriber? Sign in with the same email used at checkout.

theorem-proving — crypto repos · BuilderGraph