20 Commits

Author	SHA1	Message	Date
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	7a2278cb70	doc: Add comprehensive documentation ... fix: Typo in `Server.tactic_invocations`	2024-10-20 19:22:35 -07:00
Leni Aniva	a896e65f69	chore: Update Pantograph and Lean version to 4.12	2024-10-07 20:15:07 -07:00
Leni Aniva	850fd89e37	fix: `sorry` extraction from sketch	2024-10-03 01:32:43 -07:00
Leni Aniva	95e90cc026	refactor: Experiments into their own folders	2024-10-01 11:06:01 -07:00
Brando Miranda	89a3f5a97d	removed confusing file	2024-09-30 10:57:23 -07:00
Brando Miranda	d2f53ccc80	examples with leni	2024-09-26 20:20:32 -07:00
Brando Miranda	0d278e1343	Merge branch 'main' into brando	2024-09-26 19:26:59 -07:00
Brando Miranda	5df50a2c60	Update readme.md	2024-09-24 19:03:04 -07:00
Leni Aniva	01ec8fa22a	refactor: Update the experiment repo Lean version, use new load_sorry API	2024-09-13 18:18:53 -07:00
Leni Aniva	d99104cf0e	doc: Update jupyter notebook	2024-09-09 19:28:35 -07:00
Leni Aniva	f2de062d11	fix: Versioning in the examples, tactic invocation	2024-09-09 19:04:56 -07:00
Brando Miranda	65dcaa2ea5	pushing dsp to my branch	2024-07-11 15:49:37 -07:00
Leni Aniva	695374a3e4	feat: Example Jupyter notebook	2024-07-01 12:18:00 -07:00
Leni Aniva	174d1a3fd6	feat: Compilation unit extraction	2024-05-31 17:09:12 -07:00
Leni Aniva	775e30a80f	feat: Extraction of tactic invocations	2024-05-28 20:36:04 -07:00
Leni Aniva	926aaa4364	doc: Running example from project root	2024-05-17 20:56:01 -07:00
Leni Aniva	aa315ad31e	example: Calling aesop	2024-05-17 20:53:34 -07:00
Leni Aniva	fceb0c1a20	example: Calling aesop (partial)	2024-05-17 20:45:29 -07:00