Frederik Krogsdal Jacobsen's repositories
c-ctl-check
A prototype model checker for CTL over constraint semirings
coq-microprover
A formally verified automated theorem prover for the propositional fragment of implication and falsity.
isabelle-cabal
Cabal support for code generation from Isabelle.
flexboxfroggy
A game for learning CSS flexbox 🐸
Language:JavaScriptMIT000
isabelle-cabal-demo
A demo application for the Isabelle Cabal.
isasnips
Generate LaTeX snippets for Isabelle theories.
Language:RustGPL-3.0000
secav-prover
An automated theorem prover for the SeCaV proof system.
tfpie-2022-statistics
Statistical analysis for our 2022 TFPIE-article.