Open-source code agent designed for Lean 4
LL model providing reasoning and conversational capabilities
Open language model developed by NVIDIA as part of Nemotron-3 family
Model that fuses instruct, reasoning and agentic skills
Building Skills in Programming - Python 2.6
a Language to define Statements About Assembly Functions
System shell merged with python shell
Solve Differential Equations
Evaluate whether advertising works using sales data.
Guide is a UI layout and data-binding system.