Skip to content
This repository has been archived by the owner on Feb 15, 2024. It is now read-only.

Proposal for proof language #87

Draft
wants to merge 5 commits into
base: main
Choose a base branch
from

Flesh out sections about theories and composition a bit more.

b8dbd75
Select commit
Loading
Failed to load commit list.
Draft

Proposal for proof language #87

Flesh out sections about theories and composition a bit more.
b8dbd75
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs