Pinned Repositories
ForeMoSt
group-website
lean
Lean Theorem Prover
lean-algebra
Some formalization of elementary algebra in Lean
lean-smt
Tactics for discharging Lean goals into SMT solvers.
lean-strategies
lean-temporal
Formalization of some temporal logics in Lean
LeanEuclid
LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.
leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
MMINT
An Eclipse-based workbench for INTeractive Model Management
loganrjmurphy's Repositories
loganrjmurphy/LeanEuclid
LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.
loganrjmurphy/lean-temporal
Formalization of some temporal logics in Lean
loganrjmurphy/lean-smt
Tactics for discharging Lean goals into SMT solvers.
loganrjmurphy/lean-strategies
loganrjmurphy/lean-algebra
Some formalization of elementary algebra in Lean
loganrjmurphy/ForeMoSt
loganrjmurphy/group-website
loganrjmurphy/lean
Lean Theorem Prover
loganrjmurphy/leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
loganrjmurphy/minima
Minima is a one-size-fits-all Jekyll theme for writers.
loganrjmurphy/MMINT
An Eclipse-based workbench for INTeractive Model Management
loganrjmurphy/protocol
Enzyme Protocol Implementation
loganrjmurphy/placs
Formalized metatheory of GSN-based assurance cases (ACs) for software product lines (PLs)
loganrjmurphy/Safemoon.sol
safemoon contract
loganrjmurphy/spectra-lang
Spectra Specification Language
loganrjmurphy/spectra-synt
Spectra Synthesizer
loganrjmurphy/TMDE