Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by alexkeizer
A curated list of projects in awesome lists by alexkeizer .
https://github.com/alexkeizer/qpftypes
A WIP definitional (co)datatype package for Lean4
codatatypes datatypes lean lean4
Last synced: 25 Dec 2024
https://github.com/alexkeizer/phd-y1-review
First year review for Cambridge PhD
Last synced: 25 Dec 2024
https://github.com/alexkeizer/lean-naming-lint
A linter for Lean 4 that checks whether definitions conform with Mathlib4's naming convention
Last synced: 25 Dec 2024