Tipoca/handbook-of-practical-logic-and-automated-reasoning Tipoca/handbook-of-practical-logic-and-automated-reasoning

  • Stars
    star
    15
  • Rank 1,371,379 (Top 28 %)
  • Language
  • License
    Other
  • Created about 12 years ago
  • Updated about 12 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Tipoca/handbook-of-practical-logic-and-automated-reasoning
github

Tipoca

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Code from John Harrison's "Handbook of Practical Logic and Automated Reasoning"

More Repositories

1

hlvm

High-Level Virtual Machine for statically-typed functional languages.
OCaml
48
star
2

ntplib

An irregularly-updated clone of Charles-Francois Natali's NTP client library for Python.
Python
18
star
3

intuitionistic

Intuitionistic Programming Language
OCaml
11
star
4

scmutils

Scheme Classical Mechanics utilities from Gerald Jay Sussman, as found at http://groups.csail.mit.edu/mac/users/gjs/6946/ and mit-scheme distribution removed.
Scheme
7
star
5

dml

Dependent ML
OCaml
3
star
6

ensemble

The Ensemble Distributed Communication System
OCaml
2
star
7

fgl

FGL - A Functional Graph Library
Standard ML
1
star
8

ocaml-regexp

Claude MarchΓ©'s (very fast) Regexp Library for OCaml.
OCaml
1
star
9

unison

Unison File Synchronizer
OCaml
1
star
10

intellij-ocaml

Automatically exported from code.google.com/p/intellij-ocaml
Java
1
star
11

node-bluetoothctl

bluetoothctl wrapper for nodejs (https://www.npmjs.com/package/bluetoothctl)
JavaScript
1
star