16 Commits

Author	SHA1	Message	Date
Leni Aniva	4badb8adab	Merge pull request #50 from lenianiva/misc/version ... chore: Update to 0.2.23	2024-12-11 21:31:06 -08:00
Leni Aniva	2aa5fb2a3d	doc: Update `load_sorry` documentation	2024-12-11 20:46:39 -08:00
Leni Aniva	04e40b6dfa	doc: Update all examples to 0.2.23	2024-12-11 17:14:44 -08:00
Leni Aniva	57001bb0a3	doc: Update documentation	2024-12-11 17:07:35 -08:00
Leni Aniva	1aacbfa42e	doc: Add documentation about using wheel	2024-12-10 16:40:07 -08:00
Leni Aniva	66af206594	feat: Used constants in tactic step	2024-11-11 21:02:02 -08:00
Leni Aniva	93ecd0d5ad	doc: Clarify data	2024-10-25 09:58:18 -07:00
Leni Aniva	a61cea3a2f	doc: Not call out LeanDojo	2024-10-25 09:58:18 -07:00
Leni Aniva	bba6bd63ce	doc: Paper link	2024-10-22 22:26:01 -07:00
Leni Aniva	817d708750	fix: Disable notebook execution	2024-10-20 19:29:27 -07:00
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