octive-lean

2 commits 1 branch 0 tags 119 KiB

Author	SHA1	Message	Date
Maximus Gorog	23162fb93a	Add README, CONTRIBUTING, editorconfig, gitattributes, justfile Some checks failed Lean Action CI / build (push) Has been cancelled Details Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>	2026-04-29 09:44:24 -06:00
Maximus Gorog	db79eb3fde	Initial commit: Lean 4 reimplementation of GNU Octave Some checks are pending Lean Action CI / build (push) Waiting to run Details Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>	2026-04-29 09:40:46 -06:00