GitHub repository: CasperAssociation/Isabelle-Arithmetization
Primary language: Isabelle
Created: 2023-01-15T20:38:38Z
Description: Formalization of Sigma11 and related in Isabelle/HOL