Kimina Lean Server: A High-Performance Lean Server for Large-Scale Verification

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Santos, Marco Dos, de Saxcé, Hugues, Wang, Haiming, Wang, Ran, Baksys, Mantas, Unsal, Mert, Liu, Junqi, Liu, Zhengying, Li, Jia
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Accesso online

https://arxiv.org/abs/2504.21230