4 Commits (98f4f777de05448ee008ed4351fc3035f416a922)

Author	SHA1	Message	Date
Joshua Potter	98f4f777de	Start working on Apostol exercises 1.7.	2023-05-07 12:00:04 -06:00
Joshua Potter	8a1c2b04b2	Remove nesting.	2023-05-06 14:02:36 -06:00
Joshua Potter	d4dd6b1ba7	Further normalize links to Lean from TeX.	2023-05-06 12:34:05 -06:00
Joshua Potter	c46e2d2fb4	Rewrite as a single shared library.	2023-04-22 14:20:37 -06:00