Open Issues Need Help
View All on GitHub docs(cli): ルート fslc --help で中核8命令だけが一行要約を持たない（check/verify/scenarios/replay/testgen/mutate/explain/refine） about 2 hours ago
documentation good first issue ai-discovered track:D
ymm-oss/fsl
16
AI-Native Formal Specification Language — a bounded model checker (Lark + Z3) built for LLM write/verify/repair loops.
Rust
#bounded-model-checking#formal-methods#formal-specification#llm#model-checking#python#refinement#verification#z3