jack-pappas/fsharp-logic-examples

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

语言：F# · GitHub 星标：183 · Fork：17

在 GitHub 上查看原仓库