Skip to content
This repository was archived by the owner on Aug 2, 2024. It is now read-only.

Proof highlighting - #204

Open
sudoPom wants to merge 7 commits into
mainfrom
proof-highlighting
Open

Proof highlighting#204
sudoPom wants to merge 7 commits into
mainfrom
proof-highlighting

Fix: Changed name of colour mappings.

c6fd082
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs