automated_Theory_Construction
A prototype framework for automated theory construction in Lean 4.
1-1 of 1 versions of automated_Theory_Construction
Sort by
Date
b5ba91dv4.29.0-rc63.5 MB
automated_Theory_Constructionb5ba91d