Search Results for "tiny-workflow"

...One of its defining characteristics is its emphasis on extensibility, since Lean 4 is built to allow users to develop custom automation, metaprogramming tools, and domain-specific extensions instead of being limited to a fixed proving workflow. The broader Lean ecosystem also includes official tutorials, language references, examples, and installation and build tools, which reflects that the project is not just a core compiler repository but the center of a mature development platform.

...SCEdit is an editor that comprehends the source code on a level similar to the compiler, giving you feedback about anything that can be concluded from the source code. It can also interpret meta-functions from the source code to either analyze, modify or create new code, allowing you to automate a complex workflow for and from your source code. Furthermore SC can be both compiled, interpreted, and just in time compiled.