Skip to content

Added link to 'Formalising AQFT in Lean' - #91

Open
KellyJDavis wants to merge 1 commit into
PatrickMassot:masterfrom
KellyJDavis:aqft-in-lean
Open

Added link to 'Formalising AQFT in Lean'#91
KellyJDavis wants to merge 1 commit into
PatrickMassot:masterfrom
KellyJDavis:aqft-in-lean

Added link to 'Formalising AQFT in Lean'

064a4e2
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs