tomaz1502/RuntimeFormalization4 tomaz1502/RuntimeFormalization4

  • Stars
    star
    3
  • Rank 3,947,106 (Top 79 %)
  • Language Lean
  • Created over 1 year ago
  • Updated about 2 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
tomaz1502/RuntimeFormalization4
github

tomaz1502

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Porting https://github.com/tomaz1502/RunTimeFormalization to Lean 4

More Repositories

1

RunTimeFormalization

A formalization of the run time complexity of Insertion Sort and Merge Sort.
Lean
5
star
2

lean-syntax-highlight

A plugin for Obsidian that provides syntax highlight for Lean.
JavaScript
5
star
3

dotfiles

Making setups easier
Vim Script
3
star
4

Lam

A formally verified interpreter for Lambda Calculus.
Haskell
2
star
5

Reconstruction

Lean
2
star
6

FunctionalEditor

An editor for functional programming languages (WIP).
Rust
2
star
7

TinySAT

A tiny proof producing SAT solver.
OCaml
2
star
8

aoc-2022

Haskell
1
star
9

master-thesis

TeX
1
star
10

CPP_Lib

Collection of C++ algorithms
C++
1
star
11

vim-driver

Rust
1
star