feat: refactored cucks

This commit is contained in:
Nick 2024-11-16 16:35:08 -06:00
parent bdd63d8494
commit 667440f60f
74 changed files with 157 additions and 133 deletions

View file

@ -8,6 +8,7 @@ argumentAnabolicKeto =
{ argumentTitle = "Title"
, propositionTitle = "Proposition"
, propositionSummary = "Summary"
, proofLink = ""
, definitionTable =
[ { definiendum = ""
, definiens = "prop 1"