|
Welcome to Imandra! :wave:
|
|
0
|
1094
|
December 16, 2024
|
|
Medium Article: Using Claude & CodeLogician to formally verify a Stripe Payment Flow
|
|
0
|
6
|
March 25, 2026
|
|
Codelogician 2.3.0 is out!
|
|
0
|
5
|
March 24, 2026
|
|
New ImandraX docs at imandrax.dev/docs
|
|
0
|
12
|
March 12, 2026
|
|
Plans for type-driven programming supported
|
|
2
|
26
|
February 18, 2026
|
|
New Video: Augmenting Claude with CodeLogician
|
|
0
|
16
|
February 13, 2026
|
|
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
|
|
Blog post on Moonpool and concurrency (OCaml 5 threads and domains) in ImandraX
|
|
0
|
1194
|
November 16, 2025
|
|
How to enable .iml file highlighting in GitHub
|
|
0
|
1190
|
June 5, 2025
|
|
ImandraX and Imandra Universe Updates (June 2, 2025)
|
|
1
|
1872
|
June 4, 2025
|
|
ImandraX examples repository
|
|
0
|
1223
|
June 4, 2025
|
|
ImandraX and Imandra Universe Updates
|
|
0
|
1158
|
May 12, 2025
|
|
Getting Started with ImandraX
|
|
0
|
892
|
May 9, 2025
|
|
ImandraX v13.0 Release
|
|
0
|
1234
|
April 28, 2025
|