This project is closed.
Open-source code agent designed for Lean 4
Model that fuses instruct, reasoning and agentic skills
Evolutionary algorithms library
A genetic algorithm framework for artificial neural networks.
Google Colab GPU access in your favorite programming language