Repositories Users Organizations

Search

Sort

Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks

SinTan1729 / lean-talk-sp24

Lean 0 0

These are the files used in a talk

math lean lean4 mathematics proof-assistant

Updated 2024-03-11 02:20:45 -05:00

SinTan1729 / comm_alg

Lean 0 0

SLMath collaboration for adding Krull dimension and Hilbert polynomial to mathlib

Updated 2023-07-10 23:41:48 -05:00