-
Notifications
You must be signed in to change notification settings - Fork 0
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
fix rendering of proofs and similar elements in dark mode
bugSomething isn't workingSomething isn't workingStatus: Open.#12 In lucformalmethodscourse/lucformalmethodscourse.github.io;- Status: Open.#11 In lucformalmethodscourse/lucformalmethodscourse.github.io;
- Status: Open.#10 In lucformalmethodscourse/lucformalmethodscourse.github.io;
- Status: Open.#9 In lucformalmethodscourse/lucformalmethodscourse.github.io;
- Status: Open.#8 In lucformalmethodscourse/lucformalmethodscourse.github.io;
- Status: Open.#7 In lucformalmethodscourse/lucformalmethodscourse.github.io;
- Status: Open.#6 In lucformalmethodscourse/lucformalmethodscourse.github.io;
- Status: Open.#5 In lucformalmethodscourse/lucformalmethodscourse.github.io;
- Status: Open.#4 In lucformalmethodscourse/lucformalmethodscourse.github.io;
- Status: Open.#3 In lucformalmethodscourse/lucformalmethodscourse.github.io;
- Status: Open.#2 In lucformalmethodscourse/lucformalmethodscourse.github.io;
- Status: Open.#1 In lucformalmethodscourse/lucformalmethodscourse.github.io;