# jack-pappas/fsharp-logic-examples

<https://repo.masters-masters.com/en/repos/jack-pappas/fsharp-logic-examples>

[Home](https://repo.masters-masters.com/en) › [jack-pappas](https://repo.masters-masters.com/en/owners/jack-pappas) › [fsharp-logic-examples](https://repo.masters-masters.com/en/repos/jack-pappas/fsharp-logic-examples)

jack-pappas/fsharp-logic-examples has 183 stars on GitHub. Its RepoMasters card: Prototype tier. Examples from John Harrison's "Handbook of Practical Logic…

| Field | Value |
| --- | --- |
| Owner | [jack-pappas](https://repo.masters-masters.com/en/owners/jack-pappas) |
| Stars | 183 |
| Forks | 17 |
| Language | [F\#](https://repo.masters-masters.com/en/languages/f-sharp) |
| License | None |
| Created | 2012 |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [jack-pappas/fsharp-logic-examples](https://github.com/jack-pappas/fsharp-logic-examples) |

## Repository

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

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## More repos by jack-pappas

- [jack-pappas/ExtCore · ★ 179 · F\# · Prototype](https://repo.masters-masters.com/en/repos/jack-pappas/ExtCore)

## Nearby in F\#

- [fsprojects/Chessie · ★ 185 · F\# · Prototype](https://repo.masters-masters.com/en/repos/fsprojects/Chessie)
- [Fulma/Fulma · ★ 185 · F\# · Prototype](https://repo.masters-masters.com/en/repos/Fulma/Fulma)
- [Zaid-Ajaj/LiteDB.FSharp · ★ 185 · F\# · Prototype](https://repo.masters-masters.com/en/repos/Zaid-Ajaj/LiteDB.FSharp)
- [xyncro/aether · ★ 182 · F\# · Prototype](https://repo.masters-masters.com/en/repos/xyncro/aether)
- [nessos/GpuLinq · ★ 181 · F\# · Prototype](https://repo.masters-masters.com/en/repos/nessos/GpuLinq)
- [frank-fs/frank · ★ 179 · F\# · Prototype](https://repo.masters-masters.com/en/repos/frank-fs/frank)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.