formal-atlas
Neurosymbolic code formalization — lift any codebase into logical facts and verify properties with Prolog/Datalog. Standalone, language-agnostic, points at any project.
Activity
- Latest release
- 3mo ago
- Total releases
- 3
- Cadence
- ~daily
- Last 12 months
- 3
Details
- License
- unknown
- First release
- Jun 06, 2026
| Version | Released | |
|---|---|---|
0.2.1
patch
|
0.2.1
patch
Dependencies (5)
|
|
0.2.0
minor
|
0.2.0
minor
Dependencies (5)
|
|
0.1.0
initial
|
0.1.0
initial
Dependencies (5)
|