Commits · delta-lab-ai/Lean-Finder

update

2b7099c

Running

ljlmike commited on 2 days ago

update

54592d2

ljlmike commited on 2 days ago

update

ecfbfb8

ljlmike commited on 2 days ago

longer timeout

89549f6

ljlmike commited on 2 days ago

latex rendering support

f5f193e

ljlmike commited on 2 days ago

added doc

c4794c6

ljlmike commited on 3 days ago

new endpoint

3053932

ljlmike commited on 4 days ago

new endpoint

a72b448

ljlmike commited on 4 days ago

new message

2f73fcc

ljlmike commited on 4 days ago

new message

0134ae3

ljlmike commited on 4 days ago

bug fix

395ea0f

ljlmike commited on 6 days ago

new features, bug fix

5c6d07f

ljlmike commited on 6 days ago

new features, bug fix

9d5c5ec

ljlmike commited on 6 days ago

fix default k

b5c3acf

ljlmike commited on 7 days ago

rendering issue

5aa376d

ljlmike commited on 7 days ago

fix rendering issue in dark mode

e195591

ljlmike commited on 7 days ago

remove score

c91b141

ljlmike commited on 7 days ago

fix instruction

a0a8855

ljlmike commited on 7 days ago

fix instruction

5f94fb5

ljlmike commited on 7 days ago

fix

5df61b8

ljlmike commited on 7 days ago

fix title

f4d75c0

ljlmike commited on 7 days ago

error message

d538abd

ljlmike commited on 7 days ago

test

fb14352

ljlmike commited on 7 days ago

test

2e890c8

ljlmike commited on 7 days ago

test

eb2dc3a

ljlmike commited on 7 days ago

update instruction

774d9ee

ljlmike commited on 7 days ago

update instruction

4b7355e

ljlmike commited on 7 days ago