NHol

An implementation of higher-order logic (HOL) in F#. Based on hol-light, Isabelle, and HOL4.

APACHE-2.0 License

Stars
11
View Code on GitHub
Ecosystems: F#

Statistics for this project are still being loaded, please check back later.

Related Projects
fs-core-optimized

Optimized implementations of collections from the F# Core library (FSharp.Core)

16 Apr 2013 7
fsharp-logic-examples

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

18 Sep 2012 169
category-theory-for-dotnet-programmers

This repo contains all c++ / haskell samples from Bartosz Milewski's book (Category Theory for Pr...

14 Jan 2019 203
TypeShape

Practical generic programming for F#

22 Jul 2016 291
mathnet-symbolics

Math.NET Symbolics

29 Mar 2014 339
ExtCore

An extended core library for F#.

06 Mar 2013 180
csharptofsharp

17 Nov 2018 0
fsharp-cheatsheet

An updated cheat sheet for F# 🔷🦔💙💛🤍💚

15 Oct 2021 216
facio

Tools for building compilers, interpreters, and analysis tools in F#

14 Nov 2012 45
FSharp.Stats

statistical testing, linear algebra, machine learning, fitting and signal processing in F#

13 Dec 2016 203
functional-programming-from-scratch-ja

Functional Programming From Scratch 日本語版

18 Nov 2023 20
Flotten

F# implementation of the Raft consensus algorithm from the paper 'In Search of an Understandable ...

28 Apr 2013 25
experimental-functors

An experiment at expressing functors in F# the .NET type system.

08 Dec 2013 17
Falco

A toolkit for building fast and functional-first web applications using F#.

30 Mar 2020 513
fsharp-tapl

Accompanying code for "Types and Programming Languages", ported to F#

28 Oct 2012 53