add float method#22

Open

jverzani wants to merge 11 commits into

s-celles:mainfrom

Commits on May 7, 2026

add float method
jverzani
committed

Commits on May 8, 2026

triple back ticks
jverzani
committed

Commits on May 24, 2026

use lname (#25)
jverzani
committed
Fix/d operator unicode (#23)

s-celles
authored and
jverzani
committed
fix: recognize GIAC infinity and undef atoms in is_constant (#21)

authored and
jverzani
committed
feat: direct Gen fast path for invoke_cmd (spec 069) (#28)

s-celles
authored and
jverzani
committed
feat: add MCP server extension for LLM-driven CAS (#29)

s-celles
authored and
jverzani
committed
fix(ci): use TAGBOT_PAT so TagBot-created tags trigger workflows (#31)

s-celles
authored and
jverzani
committed
chore: release v0.14.1 (#30)

s-celles
authored and
jverzani
committed
clean up code
jverzani
committed
REAL
jverzani
committed