Commit Graph

6 Commits

Author SHA1 Message Date
Leni Aniva 7a2278cb70
doc: Add comprehensive documentation
fix: Typo in `Server.tactic_invocations`
2024-10-20 19:22:35 -07:00
Leni Aniva 75221cca0b
doc: autodocs for expr and data 2024-10-20 09:52:12 -07:00
Leni Aniva 39b9e0736a
doc: Stub on setup and drafting 2024-10-18 15:19:58 -07:00
Leni Aniva d39f501d4b
feat: Generate API docs 2024-10-17 21:36:53 -07:00
Leni Aniva 8dd59bb891
doc: Build instructions 2024-10-17 21:28:23 -07:00
Leni Aniva 7d4ee57c15
doc: Documentation stub 2024-10-17 21:03:18 -07:00