Skip to content

Metatheory: add Value built-in type with postulated functions#7832

Open
basetunnel wants to merge 6 commits into
masterfrom
basetunnel/metatheory-value
Open

Metatheory: add Value built-in type with postulated functions#7832
basetunnel wants to merge 6 commits into
masterfrom
basetunnel/metatheory-value

Simplify runModel

dac21b8
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar