Published June 17, 2020
| Version 1.0
Software
Open
Theorem proving framework in Scala
Description
Semester project done at LARA (Lab for Automated Reasoning and Analysis), EPFL.
Files
FlorianCassayre/semester-project-1.0.zip
Files
(53.1 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:5a342da79f32dd0fdb894e556bc310e1
|
53.1 kB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/FlorianCassayre/semester-project/tree/1.0 (URL)