PrototypeCommune
jack-pappas/fsharp-logic-examples
Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to F#.
- Propriétaire
- jack-pappas (compte personnel)
- Étoiles
- Étoiles : 183
- Forks
- Forks : 17
- Langage
- F#
- Licence
- Aucune
- Création
- 2012
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de jack-pappas
Les 2 dépôts de jack-pappas- jack-pappas/ExtCoreÉtoiles : 179F#Prototype
D’autres dépôts F#
Tous les dépôts F#- fsprojects/ChessieÉtoiles : 185F#Prototype
- Fulma/FulmaÉtoiles : 185F#Prototype
- Zaid-Ajaj/LiteDB.FSharpÉtoiles : 185F#Prototype
- xyncro/aetherÉtoiles : 182F#Prototype
- nessos/GpuLinqÉtoiles : 181F#Prototype
- frank-fs/frankÉtoiles : 179F#Prototype