https://github.com/HeikoBecker/Dandelion
Tip revision: 405b118a81db2f4443042751973cbaf9891bdb94 authored by Heiko Becker on 09 February 2022, 05:52:09 UTC
Add a missing theorem
Add a missing theorem
Tip revision: 405b118
| File | Mode | Size |
|---|---|---|
| binary | ||
| doc | ||
| scripts | ||
| testcases | ||
| .gitignore | -rw-r--r-- | 202 bytes |
| Holmakefile | -rw-r--r-- | 95 bytes |
| README.md | -rw-r--r-- | 3.3 KB |
| approxCompErrScript.sml | -rw-r--r-- | 7.1 KB |
| approxPolyScript.sml | -rw-r--r-- | 38.1 KB |
| bitArithLib.sml | -rw-r--r-- | 5.4 KB |
| bitArithScript.sml | -rw-r--r-- | 72.8 KB |
| checkerDefsScript.sml | -rw-r--r-- | 1.9 KB |
| checkerScript.sml | -rw-r--r-- | 12.7 KB |
| drangScript.sml | -rw-r--r-- | 13.0 KB |
| euclidDivScript.sml | -rw-r--r-- | 6.4 KB |
| floverConnScript.sml | -rw-r--r-- | 2.5 KB |
| mcLaurinApproxScript.sml | -rw-r--r-- | 74.2 KB |
| mcLaurinLib.sml | -rw-r--r-- | 6.8 KB |
| moreRealScript.sml | -rw-r--r-- | 18.6 KB |
| pointCheckerProofsScript.sml | -rw-r--r-- | 1018 bytes |
| pointCheckerScript.sml | -rw-r--r-- | 1.0 KB |
| preambleDandelion.sml | -rw-r--r-- | 1.9 KB |
| realPolyProofsScript.sml | -rw-r--r-- | 58.1 KB |
| realPolyScript.sml | -rw-r--r-- | 9.5 KB |
| realZeroLib.sml | -rw-r--r-- | 25.6 KB |
| renameScript.sml | -rw-r--r-- | 202 bytes |
| sturmComputeScript.sml | -rw-r--r-- | 10.1 KB |
| sturmScript.sml | -rw-r--r-- | 76.1 KB |
| transcApproxSemScript.sml | -rw-r--r-- | 16.0 KB |
| transcIntvSemScript.sml | -rw-r--r-- | 17.2 KB |
| transcLangScript.sml | -rw-r--r-- | 2.7 KB |
| transcReflectScript.sml | -rw-r--r-- | 2.5 KB |
