max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
lean4-htt/src/Init/Data/FloatArray
History
Kim Morrison 5c978a2e24
feat: remove Decidable instances from GetElem (#4560)
2024-06-27 02:09:29 +00:00
..
Basic.lean feat: remove Decidable instances from GetElem (#4560) 2024-06-27 02:09:29 +00:00