Skip to content

doc: add location of note about constructive logic

a87ed72
Select commit
Loading
Failed to load commit list.
Closed

doc: clarify how Lean supports constructive logic #110

doc: add location of note about constructive logic
a87ed72
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs