aplatzer
Follow
Stars
A framework for building reliable and modular LLM-enabled applications.
A CLI interface for navigating through diderot.
A generic, simple and fast implementation of Deepmind's AlphaZero algorithm.
Projects, models, and proofs in KeYmaera X
A formally verified implementation of differential dynamic logic in Coq
A formally verified implementation of differential dynamic logic in Isabelle
Your favorite language gets closer to bare metal.
Older KeYmaera 3: A Hybrid Theorem Prover for Hybrid Systems
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
theorem prover for quantified differential dynamic logic