tomaz1502/lean-syntax-highlight tomaz1502/lean-syntax-highlight

  • Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language
    JavaScript
  • License
    Apache License 2.0
  • Created 10 months ago
  • Updated 9 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
tomaz1502/lean-syntax-highlight
github

tomaz1502

Reviews

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

Repository Details

A plugin for Obsidian that provides syntax highlight for Lean.

More Repositories

1

RunTimeFormalization

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

Lam

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

dotfiles

Making setups easier
Vim Script
3
star
4

RuntimeFormalization4

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