merged from afp-2019
Description
Description
Details
Details
- Provenance
Lars Hupel <lars.hupel@mytum.de> Authored on - Parents
- rAFPff1095d29305: CakeML_Codegen website
rAFP0c3edf9248d5: add lemmas - Branches
- Unknown
- Tags
- Unknown
Event Timeline
Merged Changes
Merged Changes
- 0c3edf9248d5 add lemmasAuthor
- 676a75e041d9 more OrderAuthor
- 8a032c8c5b06 more OrderAuthor
- 683827a3f2a2 more OrderAuthor
- 26167902b4d2 more OrderAuthor
- 86f544c41cb4 removed UNIONAuthor
- 3261ff4818d4 merge from afp-2019Author
- ec3ff55171a9 tunedAuthor
- 967caff984be a few corollariesAuthor
- 023d4c3c8ef8 typoAuthor
- 1c7ecec6a187 simplified proofAuthor
- c293c479d6b6 repaired proofsAuthor
- e6d3d109c89a updated to develAuthor
- 5c9417f37470 merge from afp-2019Author
- a8e34b81e70f tuned timeout;Author
- 7149dd204040 clarified signature;Author
- cd86f83a05bb merge from afp-2019Author
- a0d561998f20 closed branchAuthor
- ad14484777fc merged