Skip to content

Releases: lean-machines-central/lean-machines

IFM24 final version

02 Sep 13:46
@fredokun fredokun
ifm2024-final
e739cdb
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
IFM24 final version Latest
Latest

This release corresponds to the final version of the IFM24 paper

Assets 2
Loading

IFM24 artifact submission

14 Aug 11:55
@fredokun fredokun
ifm2024-artifact-submission
27e1d24
Compare
Choose a tag to compare
IFM24 artifact submission

This is the source release of the IFM24 artifact submission of the LeanMachines framework

Loading