GitHub repository: wimmers/proofground2021-solutions
Primary language: Isabelle
Created: 2021-06-28T13:37:46Z
Description: Contributed solutions for the Proof Ground 2021 competition