feat: refactored services

This commit is contained in:
Nick 2024-11-16 17:28:46 -06:00
parent 354b9418f8
commit 36bedf1c09
15 changed files with 449 additions and 80 deletions

View file

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