aboutsummaryrefslogtreecommitdiff
path: root/README.md
diff options
context:
space:
mode:
authorAndreas Grois <andi@grois.info>2025-11-02 16:23:04 +0100
committerAndreas Grois <andi@grois.info>2025-11-02 16:23:04 +0100
commitff5c64836ede27d87dbc56b3869021ad8b0d255b (patch)
treea2a99059e5c66ced38745a41affe3739bc3aef02 /README.md
parent79f6af06385585087f08a7d77eb43d8674c16948 (diff)
Lean 4.21HEADmain
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions