Skip to content

prove weak-head reduction weakening - #39

Open
arthurpaulino wants to merge 1 commit into
digama0:masterfrom
argumentcomputer:ap/sexpr-whred-weakening
Open

prove weak-head reduction weakening#39
arthurpaulino wants to merge 1 commit into
digama0:masterfrom
argumentcomputer:ap/sexpr-whred-weakening

prove weak-head reduction weakening

a682905
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs