max/octive-lean
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
All workflows lean_action_ci.yml
Actor
All actors max
Status
All status success failure waiting running
Add README, CONTRIBUTING, editorconfig, gitattributes, justfile
lean_action_ci.yml #3 -Commit 23162fb93a pushed by max
main
2026-04-30 18:58:20 -05:00
0s
Add README, CONTRIBUTING, editorconfig, gitattributes, justfile
lean_action_ci.yml #2 -Commit 23162fb93a pushed by max
master
2026-04-30 12:58:20 -05:00
0s
Initial commit: Lean 4 reimplementation of GNU Octave
lean_action_ci.yml #1 -Commit db79eb3fde pushed by max
master
2026-04-29 10:44:26 -05:00
0s