Commits : Listings
Analyzed
about 16 hours
ago.
based on code collected
about 18 hours
ago.
|
Apr 27, 2023
—
Apr 27, 2024
|
||||||
| Commit Message | Contributor | Files Modified | Lines Added | Lines Removed | Code Location | Date |
|---|---|---|---|---|---|---|
| updated/added justifications, conclusions, etc |
|
More... | about 11 years ago | |||
| Data extends Term with Axiom |
|
More... | about 11 years ago | |||
| Note on foundations added |
|
More... | about 11 years ago | |||
| .gitignore cleaned up |
|
More... | about 11 years ago | |||
| Quotient data added; Quanitifer DSL forAll(..) exists(..) |
|
More... | about 11 years ago | |||
| scaladocs linked |
|
More... | about 11 years ago | |||
| README.md added. |
|
More... | about 11 years ago | |||
| Theory updated |
|
More... | about 11 years ago | |||
| Theory updated |
|
More... | about 11 years ago | |||
| First Draft |
|
More... | about 11 years ago | |||
