soonhokong

lean

Lean Theorem Prover

lean-osx

DO NOT FORK - It's only for triggering OSX build

lean-tutorial

logic_and_proof

CMU Undergrad Course

cadical

CaDiCaL SAT Solver

CDash-1

dotfiles

drake

Model-based design and verification for robotics.

dreal

Working copy of the dReal repo. I use this repo for performing experiments and storing work-in-progress

dReal-osx

DO NOT FORK - It's only for triggering OSX build

dreal3

New NRA implementation

dreal4

SMT Solver for Nonlinear Theories of Reals

emacs-deferred

Simple asynchronous functions for emacs lisp

homebrew-emacs-plus

Emacs Plus formulae for the Homebrew package manager

homebrew-lean

homebrew tap for Lean theorem prover

lean-ace

Ace (Ajax.org Cloud9 Editor) for Lean Theorem Prover

lean-ppa-updater

Ubuntu PPA updater for Lean

lean-presentations

lean-related presentations

lean-windows

DO NOT FORK - It's only for triggering Windows build

leanprover.github.io

www

leodemoura.github.com

homepage

linguist

Language Savant. If your repository's language is being reported incorrectly, send us a pull request!

MultiMarkdown-4

C implementation of MultiMarkdown; almost complete rewrite of MMD 3 (which was aka "peg-multimarkdown").

org-reveal

Exports Org-mode contents to Reveal.js HTML presentation.

paper

Repository for dReal-related papers

shell

smt-ml-runtime-predictor

smtlectures

A collection of slides of the SMT course I held at University of Milan in fall 2011

soonhokong.github.io

test