the-omega-institute/automath

LEAN4 AUTO YOUTUBE LIVING

语言：TeX · GitHub 星标：72 · Fork：11

话题：formalized-mathematics · lean4

在 GitHub 上查看原仓库