Hugging Face's logo

Spaces:
delta-lab-ai
/
Lean-Finder
Running

App Files Community
Lean-Finder

Commit History

update
e63382b
Running

jla1045 commited on

update
4aeec38

jla1045 commited on

update
e2692d4

jla1045 commited on

fix
d6ea0fb

jla1045 commited on

update
5c7b10e

jla1045 commited on

update
5e5d194

jla1045 commited on

bug fix
1fa7bd3

jla1045 commited on

instruction message fix
af03f80

jla1045 commited on

update instruction
b2a9c4e

jla1045 commited on

update
2b7099c

mikeljl commited on

update
54592d2

mikeljl commited on

update
ecfbfb8

mikeljl commited on

longer timeout
89549f6

mikeljl commited on

latex rendering support
f5f193e

mikeljl commited on

added doc
c4794c6

mikeljl commited on

new endpoint
3053932

mikeljl commited on

new endpoint
a72b448

mikeljl commited on

new message
2f73fcc

mikeljl commited on

new message
0134ae3

mikeljl commited on

bug fix
395ea0f

mikeljl commited on

new features, bug fix
5c6d07f

mikeljl commited on

new features, bug fix
9d5c5ec

mikeljl commited on

fix default k
b5c3acf

mikeljl commited on

rendering issue
5aa376d

mikeljl commited on

fix rendering issue in dark mode
e195591

mikeljl commited on

remove score
c91b141

mikeljl commited on

fix instruction
a0a8855

mikeljl commited on

fix instruction
5f94fb5

mikeljl commited on

fix
5df61b8

mikeljl commited on

fix title
f4d75c0

mikeljl commited on

error message
d538abd

mikeljl commited on

test
fb14352

mikeljl commited on

test
2e890c8

mikeljl commited on

test
eb2dc3a

mikeljl commited on

update instruction
774d9ee

mikeljl commited on

update instruction
4b7355e

mikeljl commited on

update instruction
5565ab0

mikeljl commited on

added instruction
ec432d8

mikeljl commited on

added instruction
09d7ea5

mikeljl commited on

added instruction
f7f8260

mikeljl commited on

added instruction
c841c8b

mikeljl commited on

done testing
b91aa84

mikeljl commited on

done testing
22c8c72

mikeljl commited on

test
8fcaaed

mikeljl commited on

test
906d967

mikeljl commited on

test
0750cab

mikeljl commited on

test
a7cb357

mikeljl commited on

better voting
1d3abfb

mikeljl commited on

fix logo path
425cdb3

mikeljl commited on

fix logo path
d80fbc5

mikeljl commited on