replaced python afp stats with Isabelle/Scala tool;
Description
Description
Details
Details
- Provenance
Fabian Huch <huch@in.tum.de> Authored on - Parents
- rAFP666b672f60f4: updated afp metadata doc (now as markdown);
- Branches
- Unknown
- Tags
replaced python afp stats with Isabelle/Scala tool; Tags None Subscribers None |