Spaces:

delta-lab-ai
/

Lean-Finder

Running

App Files Files Community

Lean-Finder

Commit History

update

2e2cd5c

Running

mikeljl commited on about 9 hours ago

default to v4.28.0

f5cbbe3

mikeljl commited on 1 day ago

fix logo rendering

f6e8d7b

mikeljl commited on 1 day ago

fix logo rendering

f88e60f

mikeljl commited on 1 day ago

update to lean_finder_v1_updated endpoint, UI change

2d03c5f

mikeljl commited on 1 day ago

update

e63382b

jla1045 commited on Dec 17, 2025

update

4aeec38

jla1045 commited on Nov 16, 2025

update

e2692d4

jla1045 commited on Oct 21, 2025

fix

d6ea0fb

jla1045 commited on Oct 18, 2025

update

5c7b10e

jla1045 commited on Oct 18, 2025

update

5e5d194

jla1045 commited on Oct 18, 2025

bug fix

1fa7bd3

jla1045 commited on Sep 4, 2025

instruction message fix

af03f80

jla1045 commited on Aug 9, 2025

update instruction

b2a9c4e

jla1045 commited on Aug 9, 2025

update

2b7099c

mikeljl commited on Jul 8, 2025

update

54592d2

mikeljl commited on Jul 8, 2025

update

ecfbfb8

mikeljl commited on Jul 8, 2025

longer timeout

89549f6

mikeljl commited on Jul 7, 2025

latex rendering support

f5f193e

mikeljl commited on Jul 7, 2025

added doc

c4794c6

mikeljl commited on Jul 6, 2025

new endpoint

3053932

mikeljl commited on Jul 6, 2025

new endpoint

a72b448

mikeljl commited on Jul 6, 2025

new message

2f73fcc

mikeljl commited on Jul 5, 2025

new message

0134ae3

mikeljl commited on Jul 5, 2025

bug fix

395ea0f

mikeljl commited on Jul 4, 2025

new features, bug fix

5c6d07f

mikeljl commited on Jul 4, 2025

new features, bug fix

9d5c5ec

mikeljl commited on Jul 4, 2025

fix default k

b5c3acf

mikeljl commited on Jul 3, 2025

rendering issue

5aa376d

mikeljl commited on Jul 3, 2025

fix rendering issue in dark mode

e195591

mikeljl commited on Jul 3, 2025