kaicho8636

kaicho8636's Stars

• leanprover/lean4

  Lean 4 programming language and theorem prover

  Language:Lean4.7k641.9k421

• kenkoooo/competitive-programming-rs

  Algorithm Snippets for Competitive Programming in Rust

  Language:Rust2725517

• nushio3/learn-haskell

  Language:Haskell165808

• lifthrasiir/angolmois-rust

  Angolmois BMS player, Rust edition

  Language:Rust1014210

• mikkun/sedmines

  Minesweeper game written in GNU sed

  Language:sed23101

• boitsov14/theorem-prover-kt

  A sequent-style theorem prover for first-order logic in Kotlin

  Language:Kotlin4100

• lean-ja/math-in-type-theory-ja

  Xena の記事「Mathematics in type theory」の非公式日本語訳です．

  Language:Handlebars3232

• moisutsu/atcoder-rust

  RustによるAtCoderの解法集

  Language:Rust2101