Something went wrong. Try again.
My theme for forester (+plugins)
Something went wrong. Try again.
theorem and proof colours
Author Liam O'Connor Date (May 25, 2025, 5:06 PM UTC) Commit
Copy SHA
Parent c9ae931a c9ae931a6eb66653f8d8d52919e28d3382e03a98