soonhokong

Amazon Web Services

Pinned Repositories

dreal4
Automated Reasoning in Nonlinear Theories of Reals
Language:SMT150 13 24131
flowstar_benchmark
Language:C++2 2 00
lean
Lean Theorem Prover
Language:C++4 3 60
lean-osx
DO NOT FORK - It's only for triggering OSX build
Language:C++2 4 02
lean-tutorial
Language:TeX2 2 03
logic_and_proof
CMU Undergrad Course
Language:TeX1 2 01

soonhokong's Repositories

soonhokong/lean
Lean Theorem Prover
Language:C++4 3 60
soonhokong/lean-osx
DO NOT FORK - It's only for triggering OSX build
Language:C++2 4 02
soonhokong/lean-tutorial
Language:TeX2 2 03
soonhokong/logic_and_proof
CMU Undergrad Course
Language:TeX1 2 01
soonhokong/cadical
CaDiCaL SAT Solver
Language:C++1 0
soonhokong/CDash-1
Language:PHP2 0
soonhokong/dotfiles
Language:Emacs Lisp1 11
soonhokong/drake
Model-based design and verification for robotics.
Language:C++1 0
soonhokong/dreal
Working copy of the dReal repo. I use this repo for performing experiments and storing work-in-progress
Language:C++2 41
soonhokong/dReal-osx
DO NOT FORK - It's only for triggering OSX build
Language:SMT2 01
soonhokong/dreal3
New NRA implementation
Language:SMT2 1
soonhokong/dreal4
SMT Solver for Nonlinear Theories of Reals
Language:SMT1 01
soonhokong/emacs-deferred
Simple asynchronous functions for emacs lisp
Language:Emacs Lisp2 0
soonhokong/homebrew-emacs-plus
Emacs Plus formulae for the Homebrew package manager
Language:Ruby0 0
soonhokong/homebrew-lean
homebrew tap for Lean theorem prover
Language:Shell2 0
soonhokong/lean-ace
Ace (Ajax.org Cloud9 Editor) for Lean Theorem Prover
Language:JavaScript2 0
soonhokong/lean-ppa-updater
Ubuntu PPA updater for Lean
Language:Shell2 0
soonhokong/lean-windows
DO NOT FORK - It's only for triggering Windows build
Language:C++2 0
soonhokong/leanprover.github.io
www
Language:JavaScript2 0
soonhokong/leodemoura.github.com
homepage
Language:HTML0 0
soonhokong/linguist
Language Savant. If your repository's language is being reported incorrectly, send us a pull request!
Language:Ruby2 0
soonhokong/MultiMarkdown-4
C implementation of MultiMarkdown; almost complete rewrite of MMD 3 (which was aka "peg-multimarkdown").
Language:C2 0
soonhokong/org-reveal
Exports Org-mode contents to Reveal.js HTML presentation.
Language:Emacs Lisp2 01
soonhokong/paper
Repository for dReal-related papers
Language:TeX2 2
soonhokong/repl
A simple REPL for Lean 4, returning information about errors and sorries.
Language:Lean0 0
soonhokong/shell
Language:C++2 0
soonhokong/smt-ml-runtime-predictor
Language:Jupyter Notebook1 0
soonhokong/smtlectures
A collection of slides of the SMT course I held at University of Milan in fall 2011
Language:C2 0
soonhokong/soonhokong.github.io
Language:HTML3 01
soonhokong/test
2 0