Updates

by Jocelyn-Fiat (modified: 2015 Oct 16)

Oct 03
Gobo Eiffel 25.10 released
Sep 08
Gobo 25.09 released
Aug 07
AutoProof: Contract-Based Formal Verification Environment for Eiffel
Jun 03
Eiffel Libraries
Feb 19
EiffelStudio 25.02 is available!
2024, Oct 17
Python and Eiffel: A Comparison in Conciseness
2024, Oct 16
Automated Object Data Compaction Revisited
2024, Oct 16
Automating Object Data Compaction to Expanded Numeric Types
2024, Jun 28
First ever Udemy Eiffel course has gone live
2024, Jun 28
Resources