[ANNOUNCE] Ajla 0.3.0 with formal verification using Z3
28 Oct
2025
28 Oct
'25
6:42 p.m.
Hi I announce a new release of a purely functional programming language Ajla 0.3.0 - https://www.ajla-lang.cz/ It has a new feature - the capability to formally verify programs using the Z3 library - see https://www.ajla-lang.cz/tutorial.html#verifying_ajla_programs_with_z3 Mikulas
8
Age (days ago)
8
Last active (days ago)
0 comments
1 participants
participants (1)
-
Mikulas Patocka