Skip to content

v1

Choose a tag to compare

View all tags
@rndmx rndmx released this 08 Sep 09:35
· 3 commits to main since this release
v1
7ec7479 
Lean 4 formalization of the mathematical core of IIT 4.0 and its uppe…
Assets 2
Loading