Skip to content
Compile blueprint

Fix : Limit scope of hygiene false option in MagmaLaw.lean (#340) #972

Sign in to view logs

Fix : Limit scope of hygiene false option in MagmaLaw.lean (#340)

Fix : Limit scope of hygiene false option in MagmaLaw.lean (#340) #972

Build project

Build project
succeeded Oct 5, 2024 in 6m 38s