|
Welcome to Imandra! :wave:
|
|
0
|
1091
|
December 16, 2024
|
|
Medium Article: Using Claude & CodeLogician to formally verify a Stripe Payment Flow
|
|
0
|
3
|
March 25, 2026
|
|
Codelogician 2.3.0 is out!
|
|
0
|
2
|
March 24, 2026
|
|
New ImandraX docs at imandrax.dev/docs
|
|
0
|
9
|
March 12, 2026
|
|
Plans for type-driven programming supported
|
|
2
|
24
|
February 18, 2026
|
|
New Video: Augmenting Claude with CodeLogician
|
|
0
|
14
|
February 13, 2026
|
|
CodeLogician paper with `code-logic-bench` benchmark results released!
|
|
0
|
504
|
January 21, 2026
|
|
CodeLogician 2.0.0.b5 Release
|
|
0
|
1125
|
December 12, 2025
|
|
Version 2.0.0b3 is now available!
|
|
0
|
1091
|
November 26, 2025
|
|
Blog post on Moonpool and concurrency (OCaml 5 threads and domains) in ImandraX
|
|
0
|
1192
|
November 16, 2025
|
|
How to enable .iml file highlighting in GitHub
|
|
0
|
1189
|
June 5, 2025
|
|
ImandraX and Imandra Universe Updates (June 2, 2025)
|
|
1
|
1868
|
June 4, 2025
|
|
ImandraX examples repository
|
|
0
|
1221
|
June 4, 2025
|
|
ImandraX and Imandra Universe Updates
|
|
0
|
1157
|
May 12, 2025
|
|
Getting Started with ImandraX
|
|
0
|
891
|
May 9, 2025
|
|
ImandraX v13.0 Release
|
|
0
|
1231
|
April 28, 2025
|