joehendrix/lean-crypto joehendrix/lean-crypto

  • Stars
    star
    42
  • Rank 656,625 (Top 13 %)
  • Language Roff
  • License
    Apache License 2.0
  • Created almost 3 years ago
  • Updated 2 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
joehendrix/lean-crypto
github

joehendrix

Reviews

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

Repository Details

Cryptographic routines for the Lean 4 language

More Repositories

1

lean-sat-checker

A work in progress proof checker for LRAT files written in Lean.
Lean
11
star
2

lean-libuv

Bindings to LibUV in Lean
Lean
6
star
3

lean-arith-solver

Lean
4
star
4

rustlean

Repository for developing a Cargo build extension to support lean.
Rust
2
star
5

lean-benchmark-experiments

Rust
1
star
6

lean-containers

Lean
1
star
7

ascl-parser

Haskell
1
star
8

lean-cheatsheets

1
star