Merged
Fix backtick formatting typo#109avigad merged 1 commit intoleanprover:masterfrom mitchellvitez:patch-2
avigad merged 1 commit intoleanprover:masterfrom mitchellvitez:patch-2
Fix backtick formatting typo#109
Merged
avigad merged 1 commit intoleanprover:masterfrom mitchellvitez:patch-2Jan 22, 2021
+1-1
Commits cannot be loaded
The page is unavailable due to a system error.
Try reloading the page, or if the problem persists, contact support.