Development tools for https://github.com/leanprover-community/mathlib
最近更新: 5年多前Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project
最近更新: 5年多前A work-in-progress formalization of Geometric Algebra in the Lean formal proof verification system.
最近更新: 5年多前Reading, writing and parsing the model formats of the game League of Legends
最近更新: 5年多前clone of http://code.google.com/p/lolmodelviewer/ for adding a few features
最近更新: 5年多前A widget to show a Github user's basic info and repositories, written as a jQuery plugin.
最近更新: 5年多前
