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