Pinned Repositories
agda-metis
Metis Prover Reasoning for Propositional Logic in Agda
agda-prop
A Library for Classical Propositional Logic in Agda
athena
Translates Metis ATP proofs to the Agda code
flask-ponywhoosh
A Flask full-text search engine
hott-cheatsheets
Homotopy type theory cheatsheets to read the HoTT Book
online-atps
Run ATPs from SystemOnTPTP
ponywhoosh
Make searchable your database over PonyORM
prop-pack
TPTP problems and TSTP solutions of problems in classical propositional logic.
jonaprieto's Repositories
jonaprieto/flask-ponywhoosh
A Flask full-text search engine
jonaprieto/agda-prop
A Library for Classical Propositional Logic in Agda
jonaprieto/athena
Translates Metis ATP proofs to the Agda code
jonaprieto/smoke
Runs tests against anything, using command-line arguments, STDIN, STDOUT and STDERR.
jonaprieto/action-install-gh-release
GitHub Action to install the Github Release binaries
jonaprieto/agda-mode-vscode
agda-mode on VS Code
jonaprieto/agda-unimath
Univalent mathematics in Agda
jonaprieto/book
A textbook on informal homotopy type theory
jonaprieto/chemacs
jonaprieto/dance
Make your cursors dance with Kakoune-like modal editing in VS Code.
jonaprieto/doom
jonaprieto/doom-emacs
An Emacs framework for the stubborn martian hacker
jonaprieto/dotfiles
jonaprieto/geb
A Categorical view of computation
jonaprieto/Isabelle-HPaxos
A formalization of HPaxos in Isabelle
jonaprieto/juvix-docs
Juvix Official Documentation
jonaprieto/liquid-fixpoint
Horn Clause Constraint Solving for Liquid Types
jonaprieto/markkarpov.com
My personal web site
jonaprieto/mini-hott
jonaprieto/mkdocs-ezlinked-plugin
Plugin for mkdocs which enables easier linking between pages
jonaprieto/PythonMathematicalModeling
Mathematical modelling in Python
jonaprieto/SnSymm
On the symmetries of spheres
jonaprieto/specs
Specifications for the Anoma protocols.
jonaprieto/sprite-lang
An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.
jonaprieto/stack-action
GitHub Action to build, test, and lint Stack-based Haskell projects
jonaprieto/stack-bump
jonaprieto/test1
jonaprieto/the-pigeonhole-principle
A formalisation of the pigeon theorem in UTT.
jonaprieto/vamp-ir
Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits
jonaprieto/whitepaper