A LEAN-certified reversibilization of Meyer-Ritchie LOOP language. Master thesis in computer science
-
Updated
Aug 7, 2024 - Lean
Lean is a functional programming language that makes it easy to write correct
and maintainable code. You can also use Lean as an interactive theorem prover.
Lean programming primarily involves defining types and functions. This allows
your focus to remain on the problem domain and manipulating its data, rather
than the details of programming.
A LEAN-certified reversibilization of Meyer-Ritchie LOOP language. Master thesis in computer science
A project to digitalise results from high energy physics into Lean.
Índice de repositorios.
A verification toolchain for Rust programs
コード例で学ぶ Lean 言語
neovim support for the Lean theorem prover
Verified efficient algorithms in Lean4.
My blog - www.marcusoft.net
Tool for data extraction and interacting with Lean programmatically.
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
Lean ingress controller.
Helper toolkit for creating your own Lean 4 UserWidgets
Leantime is a goals focused project management system for non-project managers. Building with ADHD, Autism, and dyslexia in mind.
Created by Leonardo de Moura
Released 2013