cd/entity/SiMON· home› entities› SiMON
grep -l @simon /news/*.json | wc -l → 1

SiMON

mentions 1 type Organization feed RSS

// recent coverage 1 mentions

06:41
2026-07-08
github.com
ai-agents

My Name Is SiMON

FSL, a governed symbolic language for making autonomous-agent claims inspectable, has released version 1.1.8 of its public package, which includes 32 theorem records with 31 machine-checked by Lean 4 …

// co-occurs with top 4 entities
FSL 1 Lean 4 1 HTM 1 Hierarchical Triangular Mesh 1