tomaz1502/Reconstruction tomaz1502/Reconstruction

  • Stars
    star
    2
  • Language Lean
  • Created about 2 years ago
  • Updated about 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
tomaz1502/Reconstruction
github

tomaz1502

Reviews

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

Repository Details

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

Lam

A formally verified interpreter for Lambda Calculus.
Agda
4
star
4

dotfiles

Making setups easier
Vim Script
3
star
5

RuntimeFormalization4

Porting https://github.com/tomaz1502/RunTimeFormalization to Lean 4
Lean
3
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