Pinned Repositories
coq-lean-cheatsheet
A quick reference for mapping Coq tactics to Lean tactics
ELE580-PS2
Interface building for ELE 580
mirror-shard
Reflective verification procedures for separation logic programs in Coq
promising-verification-targets
A list of things I'd love to verify or see verified some day
SPEGameGroup
thesis
the thesis
try_git
jldodds's Repositories
jldodds/coq-lean-cheatsheet
A quick reference for mapping Coq tactics to Lean tactics
jldodds/mirror-shard
Reflective verification procedures for separation logic programs in Coq
jldodds/promising-verification-targets
A list of things I'd love to verify or see verified some day
jldodds/thesis
the thesis
jldodds/ELE580-PS2
Interface building for ELE 580
jldodds/SPEGameGroup
jldodds/try_git
jldodds/actions-test
Trying out github actions
jldodds/ballroll
My first VR thing
jldodds/coq-ext-lib
A library of Coq definitions, theorems, and tactics.
jldodds/coqproject
jldodds/install-saw-action
Github action to install SAW/Cryptol and provers
jldodds/jldodds.github.io
jldodds/lonelyrunner
Formalization of the Lonely Runners Conjecture -- likely wrong
jldodds/match3
jldodds/ncc-smt-cryptol
jldodds/PreFPO
jldodds/s2n
s2n : an implementation of the TLS/SSL protocols
jldodds/vscode-lean
An extension for VS Code which provides support for the Lean language.
jldodds/whatband
a very cool web app