Pinned Loading
Repositories
Showing 10 of 16 repositories
- lean-cvc5 Public Forked from abdoo8080/lean-cvc5
A Foreign Function Interface (FFI) to cvc5 solver in Lean.
anzenlang/lean-cvc5’s past year of commit activity - colorized Public Forked from algebraic-dev/colorized
🌈 | A Lean 4 library designed to enhance terminal output with vibrant ANSI escape sequences.
anzenlang/colorized’s past year of commit activity - cvc5.lean Public Forked from abdoo8080/lean-cvc5
A Foreign Function Interface (FFI) to cvc5 solver in Lean.
anzenlang/cvc5.lean’s past year of commit activity - lean-smt Public Forked from ufmg-smite/lean-smt
Tactics for discharging Lean goals into SMT solvers.
anzenlang/lean-smt’s past year of commit activity - anzenlang.github.io Public
anzenlang/anzenlang.github.io’s past year of commit activity - kind2 Public Forked from kind2-mc/kind2
Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
anzenlang/kind2’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…