EuroProofNet STSM

Prize: Granted funding (public project funding)

Description

Neural Premise Selection for Agda
Granting OrganisationsEuroProofNet