PrototypeCommon
wenkokke/schmitty
Agda bindings to SMT-LIB2 compatible solvers.
- Owner
- wenkokke (personal account)
- Stars
- Stars: 110
- Forks
- Forks: 9
- Language
- Agda
- License
- None
- Created
- 2020
- Topics
- agdasmt-solver
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Agda
All Agda repos- gallais/agdarsecStars: 138AgdaPrototype
- UlfNorell/agda-preludeStars: 135AgdaPrototype
- HoTT-Intro/AgdaStars: 129AgdaPrototype
- alhassy/gentle-intro-to-reflectionStars: 108AgdaPrototype
- agda-attic/agda-frp-jsStars: 104AgdaPrototype