Diffusion afp-devel ab8dd4efb9fb

clarified names;
ab8dd4efb9fb
Actions

Tags

None

Subscribers

None

Description

clarified names;

Details

Provenance

Fabian Huch <huch@in.tum.de>

Authored on

Parents

rAFP74a3f7ca4640: tuned lemmas

Branches

Unknown

Tags

Unknown

Event Timeline

Fabian Huch <huch@in.tum.de> committed rAFPab8dd4efb9fb: clarified names;.Mar 26 2024, 3:46 PM

Changes (2)

Path

Size

tools/

afp_submit.scala

rAFPab8dd4efb9fb

tools/afp_submit.scala

Loading...

tools/web_app.scala

Loading...