INQWIRE
Verified Software for the Computers of Tomorrow
Pinned Loading
Repositories
Showing 10 of 22 repositories
- opam-coq-archive Public Forked from coq/opam
Archive for all Coq related OPAM packages organized in various repositories
inQWIRE/opam-coq-archive’s past year of commit activity - Metatheory.jl Public Forked from JuliaSymbolics/Metatheory.jl
General purpose algebraic metaprogramming and symbolic computation library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.
inQWIRE/Metatheory.jl’s past year of commit activity