ewdlop/Proof-Assistance-Note

https://en.wikipedia.org/wiki/Proof_assistant; 一錯特錯錯到底! 爆炸原理是重哪來的?

Language: Coq - Size: 227 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

ewdlop/Any-vs-AnyType

Language: C# - Size: 9.77 KB - Last synced at: 2 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

matematiflo/LEANear_algebra

Resources to teach Linear Algebra using Lean4 and Sagemath

Size: 4.88 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0