2 releases
| 0.1.1 | Jan 6, 2020 |
|---|---|
| 0.1.0 | Jan 5, 2020 |
#12 in #formal
39 downloads per month
120KB
3K
SLoC
differential-formula
Incremental Formal Modeling Using Logic Programming and Analysis
Dependencies
~12MB
~164K SLoC
Incremental Formal Modeling Using Logic Programming and Analysis
| 0.1.1 | Jan 6, 2020 |
|---|---|
| 0.1.0 | Jan 5, 2020 |
#12 in #formal
39 downloads per month
120KB
3K
SLoC
Incremental Formal Modeling Using Logic Programming and Analysis
~12MB
~164K SLoC