Pinned Repositories
ace-mfotl
Ace (Ajax.org Cloud9 Editor)
ace-mfotl-modes
bandwidth-reduction-analysis
Implementation of an adapted version of the well-known bandwidth minimization problem
cgmy
jflap-check
abella-reasoning
sellf
SubExponential Linear Logic Framework for reasoning about sequent calculus systems
whymon
A runtime monitoring tool that produces explanations as verdicts
leonardolima's Repositories
leonardolima/cgmy
leonardolima/jflap-check
leonardolima/leonardolima.github.io
leonardolima/ace-mfotl
Ace (Ajax.org Cloud9 Editor)
leonardolima/ace-mfotl-modes
leonardolima/bandwidth-reduction-analysis
Implementation of an adapted version of the well-known bandwidth minimization problem
leonardolima/cg
leonardolima/hydra
leonardolima/ocaml-hashcons
OCaml hash-consing library
leonardolima/proof-scripts
leonardolima/ref-card-cpp-emacs
leonardolima/tipl