Geeks
FR-vdash-bot
/
Algorithm
Verified efficient algorithms in Lean4.
Primary Language
Lean
Apache License 2.0
Apache-2.0
Algorithm Home Page
Algorithm GitHub
Markdown
Readme
6
Issues
19
Stargazers
2
Watchers
Stargazers
uwagjaynoi
rujialiu
Beijing
Kensuke-Hinata
Shenzhen, China
chenjulang
utensil
DonghengChen
Hangzhou
Seasawher
Japan
SnO2WMaN
チルノのパーフェクトさんすう教室
joewatt95
thelissimus
Die Toteninsel
iehality
GuiBrandt
Campinas, SP - Brazil
yamin21213
yhtq
catmeow123456
ShouxinZhang
南京信息工程大学沁园33
LewisBuemi
metinersin
Turkey
Xiaohuba