3 Commits (finite-set-exercises)

Author	SHA1	Message	Date
Joshua Potter	91cdf1540e	Update to doc-gen4 commit `596782c`.	2023-08-15 07:55:46 -06:00
Joshua Potter	ee68999929	Update lean and merge dark mode changes.	2023-06-20 11:37:53 -06:00
Joshua Potter	dac45de7f2	Absort doc-gen4 into this project.	2023-05-11 07:27:25 -06:00