Skip to content

Releases: rndmx/Integ

Release list

v1.1

v1.1 Latest
Latest

Choose a tag to compare

View all tags
@rndmx rndmx released this 26 Sep 21:44
v1.1
49b4c59

v1.1

Assets 2
Loading

v1

v1

Choose a tag to compare

View all tags
@rndmx rndmx released this 08 Sep 09:35
v1
7ec7479 
Lean 4 formalization of the mathematical core of IIT 4.0 and its uppe…
Loading