Seasawher

mdgen

Tool to generate markdown files from lean files. This is heavily inspired by lean2md.

mathlib4-tactics

List of the all tactics of mathlib4. This is heavily inspired by haruhisa-enomoto/mathlib4-all-tactics

lean-book

mdbook template for lean project

mk-exercise

Simple and intuitive tool to manage exercises in textbooks written in Lean.

PreventCreatePublicRepo

simple Chrome extension which prevent creating public repository!

InvertedPendulum.jl

fp-lean-ja

Functional Programming in Lean の日本語訳. 演習問題への解答を含みます（作業中 🚧）

github-action-test

this repositoy is for test of GitHub Action

IMO-formalization

JuliaNumerical

Julia と数値計算の勉強用

lean-action

GitHub action for standard CI in Lean projects

lean-blog

WIP (work in progress!)

lean-by-example

Lean の基本的な構文や機能を紹介するためのサンプルコード集です．(WIP)

lean-by-example-fork

Lean4 の逆引きタクティクリスト (fork)

lean-math-workshop

lean-update-action

lean-workshop

SF.lean勉強会でigrepが書いたコードの記録

lean4

Lean 4 programming language and theorem prover

lean4-metaprogramming-book

fork of lean4 metaprogramming book

lean4_textbook

Lean4Playground

my playground of lean4

ManyMonad.lean

mathematics_in_lean_my_solutions

my attempt to solve exercises in "mathematics in lean"

nannou-example

nannnou examples with lots of Japanese comments

paperproof

Lean theorem proving interface which feels like pen-and-paper proofs.

Seasawher

GitHubのプロフィール用のリポジトリです．This is my profile repository!

SelectionSort.lean

selection sort implemented and verified by lean

SICP

WIP

tauri

Build smaller, faster, and more secure desktop applications with a web frontend.

v470playground

lean v4.7.0 and mathlib tagged v4.7.0