merged
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE693e811b91bb: more robust hybrid treatment of Pure, notably for Isabelle/Dedukti;
rISABELLE8c2bef3df488: refined proof of concept for bit operations - Branches
- Unknown
- Tags
Merged Changes
Merged Changes