Official Announcements
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
|
About the Official Announcements category
|
|
0 | 685 | April 28, 2025 |
|
CodeLogician paper with `code-logic-bench` benchmark results released!
|
|
0 | 506 | January 21, 2026 |
|
CodeLogician 2.0.0.b5 Release
|
|
0 | 1127 | December 12, 2025 |
|
Version 2.0.0b3 is now available!
|
|
0 | 1094 | November 26, 2025 |
|
ImandraX and Imandra Universe Updates (June 2, 2025)
|
|
1 | 1874 | June 4, 2025 |
|
ImandraX and Imandra Universe Updates
|
|
0 | 1158 | May 12, 2025 |
|
ImandraX v13.0 Release
|
|
0 | 1234 | April 28, 2025 |