Skip to content

refactor: move environment def to Assumption.lean, move straight-line semantics to relevant modules - #121

Merged
alexkeizer merged 1 commit into
mainfrom
refactor-semantics
Sep 2, 2026
Merged

refactor: move environment def to Assumption.lean, move straight-line semantics to relevant modules#121
alexkeizer merged 1 commit into
mainfrom
refactor-semantics

refactor: move environment def to Assumption.lean, move straight-line…

f2c2a92
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar