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