This is an implementation of a couple of algorithms taught by the SoSy Lab @LMU (https://www.sosy-lab.org/). This implementation is trying to stick as close to the mathematical notation presented in the lectures, it is not an efficient one or even idiomatic Lean. The purpose of this is merely to have an evaluator for the algorithms, not an in any way solid real world implementation
-
Notifications
You must be signed in to change notification settings - Fork 0
An implementation of Configurable Program Analysis in Lean for a univeristy project
License
hargoniX/Cpa.lean
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
An implementation of Configurable Program Analysis in Lean for a univeristy project
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published