max/octive-lean
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Commit graph

  • 23162fb93a Add README, CONTRIBUTING, editorconfig, gitattributes, justfile main Maximus Gorog 2026-04-29 09:44:24 -06:00
  • db79eb3fde Initial commit: Lean 4 reimplementation of GNU Octave Maximus Gorog 2026-04-29 09:40:46 -06:00