lean-experimentation
Messing around with learning the Lean programming langauge
rad:z46a6nC1Bp4XnjzqLfC2xCDFSfJBT
Visibility
public
Delegates
did:key:z6MkvFJFz7xMBhfhTD69WrqgwYxhEEBqw5u8SVESioeSyBo7
Default branch
master → e5c656ddf811ae6b09f2caa74efe3b2583a6b277 (Tue Nov 19 10:12:55 2024)
Threshold
1