Pinned Repositories
clolog
Full-featured logic programming (AKA "Prolog") embedded in/callable from and supporting calls to Clojure. In the spirit of LogLisp, Lisp Machine Prolog, and Franz Inc.'s Allegro Prolog, with some extra goodies.
homecoming-server-status
isabelle-playground
lambdacplus
A proof assistant based on the Calculus of Constructions
lean4web
leanplayground
logical_verification_2024
Associated files for Hitchhiker's Guide to Logical Verification (2024 Edition)
mathlib
Lean mathematical components library
ocaml-containers
A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.
l4-lp
Fully in-browser IDE and rule engine for L4 (a DSL for the law), along with various language binding libraries
joewatt95's Repositories
joewatt95/lambdacplus
A proof assistant based on the Calculus of Constructions
joewatt95/leanplayground
joewatt95/clolog
Full-featured logic programming (AKA "Prolog") embedded in/callable from and supporting calls to Clojure. In the spirit of LogLisp, Lisp Machine Prolog, and Franz Inc.'s Allegro Prolog, with some extra goodies.
joewatt95/homecoming-server-status
joewatt95/isabelle-playground
joewatt95/lean4web
joewatt95/logical_verification_2024
Associated files for Hitchhiker's Guide to Logical Verification (2024 Edition)
joewatt95/mathlib
Lean mathematical components library
joewatt95/ocaml-containers
A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.
joewatt95/svntogit-community
Automatic import of svn 'community' repo (read-only mirror)
joewatt95/swipl-playground
joewatt95/Symboleo-Model-Checker
Verification of Symboleo specifications with the nuXmv model checker tool