Pinned Repositories
cli
cm-unicode
https://ctan.org/tex-archive/fonts/cm-unicode/fonts/otf/
glide
Focus on what matters instead of fighting with Lean installation.
judge
lean-web-editor
Lean web editor
lean3-docker
lean4web
mathsforces
Online maths contests powered by interactive theorem provers
Socket.lean
A toy implementation of socket programming for Lean 4.
Mathsforces's Repositories
mathsforces/cli
mathsforces/cm-unicode
https://ctan.org/tex-archive/fonts/cm-unicode/fonts/otf/
mathsforces/glide
Focus on what matters instead of fighting with Lean installation.
mathsforces/judge
mathsforces/lean-web-editor
Lean web editor
mathsforces/lean3-docker
mathsforces/lean4web
mathsforces/mathsforces
Online maths contests powered by interactive theorem provers
mathsforces/Socket.lean
A toy implementation of socket programming for Lean 4.