Leanstral-2603 is an open-source large language model designed as a code agent for Lean 4, a proof assistant. It supports both text and image input, features a large context window, and is optimized for local deployment. The model is intended for AI researchers and developers working with formal verification and code reasoning.
Latest indexed changes and source events
huggingface.co discovered by the PulseGate indexer
Other apps tracked under the same category.
