Skip to content

Add AGENTS.md - #361

Open
ederc wants to merge 1 commit into
algebraic-solving:masterfrom
ederc:agents
Open

Add AGENTS.md#361
ederc wants to merge 1 commit into
algebraic-solving:masterfrom
ederc:agents

Add AGENTS.md including build and installation instructions

9514b1d
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
FLINT git version, compiled with assert and NTL
succeeded Sep 7, 2026 in 7m 5s