PrototypeCommune
wenkokke/schmitty
Agda bindings to SMT-LIB2 compatible solvers.
- Propriétaire
- wenkokke (compte personnel)
- Étoiles
- Étoiles : 110
- Forks
- Forks : 9
- Langage
- Agda
- Licence
- Aucune
- Création
- 2020
- Sujets
- agdasmt-solver
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Agda
Tous les dépôts Agda- gallais/agdarsecÉtoiles : 138AgdaPrototype
- UlfNorell/agda-preludeÉtoiles : 135AgdaPrototype
- HoTT-Intro/AgdaÉtoiles : 129AgdaPrototype
- alhassy/gentle-intro-to-reflectionÉtoiles : 108AgdaPrototype
- agda-attic/agda-frp-jsÉtoiles : 104AgdaPrototype