https://github.com/jack-pappas/nhol

An implementation of higher-order logic (HOL) in F#. Based on hol-light, Isabelle, and HOL4.
https://github.com/jack-pappas/nhol

Last synced: 3 months ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/jack-pappas/nhol
• Owner: jack-pappas
• License: apache-2.0
• Created: 2013-05-29T14:00:48.000Z (over 11 years ago)
• Default Branch: master
• Last Pushed: 2019-03-20T13:28:35.000Z (almost 6 years ago)
• Last Synced: 2024-10-13T07:52:15.051Z (3 months ago)
• Language: F#
• Size: 6.03 MB
• Stars: 11
• Watchers: 5
• Forks: 4
• Open Issues: 5
• Metadata Files:
  • Readme: README.md
  • Contributing: CONTRIBUTING.rst
  • License: LICENSE.txt

Awesome Lists containing this project

README

        
# NHol

### An implementation of higher-order logic (HOL) in F#.

====

## Purpose

The project aims at developing a high-order theorem prover in F#. The goal is to leverage the power of functional programming language F# and .NET platform in an interesting context, automated deduction. At the first step, we would like to bring the core features of [Hol-light](https://code.google.com/p/hol-light/) to F#.

## Core Team

 - [Jack Pappas](https://github.com/jack-pappas)

 - [Eric Taucher](https://github.com/EricGT)

 - [Anh-Dung Phan](https://github.com/dungpa) 

 - [Domenico Masini](https://github.com/domasin)

## License

This project is available under Apache 2.0 license. 

For more information see the [License file](LICENSE.txt).

## Personal Notes

 - [Eric's Notes] (https://github.com/jack-pappas/NHol/wiki/Eric's-Notes-Page-1)