Lean
@leanprover
Lean is a dependently-typed programming language and theorem prover.
49 正在關注 11K 粉絲
載入中...
熱門用戶
本站可能包含成人向內容，僅向年滿 18 歲的用戶開放。請確認您已成年後繼續瀏覽。
