Illustration drawn by RepoMasters from the repo’s ID and its language color. Credits

PrototypeCommon

jack-pappas/fsharp-logic-examples

Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to F#.

Owner: jack-pappas (personal account)
Stars: Stars: 183
Forks: Forks: 17
Language: F#
License: None
Created: 2012
Tier: Prototype (100 to 249 ★) What this tier means

More repos by jack-pappas

All 2 repos by jack-pappas

jack-pappas/ExtCoreStars: 179F#Prototype

Nearby in F#

fsprojects/ChessieStars: 185F#Prototype
Fulma/FulmaStars: 185F#Prototype
Zaid-Ajaj/LiteDB.FSharpStars: 185F#Prototype
xyncro/aetherStars: 182F#Prototype
nessos/GpuLinqStars: 181F#Prototype
frank-fs/frankStars: 179F#Prototype