|
Welcome to Imandra! :wave:
|
|
0
|
1098
|
December 16, 2024
|
|
SpecLogician is Live!
|
|
0
|
29
|
June 11, 2026
|
|
AI Reasoning Weekly - May 28: Live exchange modeling with SpecLogician + ImandraX
|
|
0
|
18
|
May 26, 2026
|
|
Medium Article: Using Claude & CodeLogician to formally verify a Stripe Payment Flow
|
|
0
|
19
|
March 25, 2026
|
|
Codelogician 2.3.0 is out!
|
|
0
|
10
|
March 24, 2026
|
|
New ImandraX docs at imandrax.dev/docs
|
|
0
|
17
|
March 12, 2026
|
|
Plans for type-driven programming supported
|
|
2
|
39
|
February 18, 2026
|
|
New Video: Augmenting Claude with CodeLogician
|
|
0
|
33
|
February 13, 2026
|
|
CodeLogician paper with `code-logic-bench` benchmark results released!
|
|
0
|
521
|
January 21, 2026
|
|
CodeLogician 2.0.0.b5 Release
|
|
0
|
1146
|
December 12, 2025
|
|
Version 2.0.0b3 is now available!
|
|
0
|
1106
|
November 26, 2025
|
|
Blog post on Moonpool and concurrency (OCaml 5 threads and domains) in ImandraX
|
|
0
|
1196
|
November 16, 2025
|
|
How to enable .iml file highlighting in GitHub
|
|
0
|
1208
|
June 5, 2025
|
|
ImandraX and Imandra Universe Updates (June 2, 2025)
|
|
1
|
1907
|
June 4, 2025
|
|
ImandraX examples repository
|
|
0
|
1226
|
June 4, 2025
|
|
ImandraX and Imandra Universe Updates
|
|
0
|
1168
|
May 12, 2025
|
|
Getting Started with ImandraX
|
|
0
|
899
|
May 9, 2025
|
|
ImandraX v13.0 Release
|
|
0
|
1240
|
April 28, 2025
|