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.
Sign in for the full log view
Build and self-check
succeeded Aug 16, 2026 in 4m 21s