Seasawher/mk-exercise

Stars
4
Rank 3,304,323 (Top 66 %)
Language Lean
License
MIT License
Created 11 months ago
Updated 4 months ago

Seasawher/mk-exercise

Seasawher

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

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

graduate_exam

京都大学数学系の院試の問題と解答です

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

InterpreterBook

「go 言語でつくるインタプリタ」の Lean によるノート

import-all

This script can check and auto-generate `import` statements in a lean4 repository.

system_exam

京都大学数学系の系登録試験の過去問と解答です。9ページ。

PreventCreatePublicRepo

simple Chrome extension which prevent creating public repository!

ConcreteSemantics.lean

「Concrete Semantics」を Lean で読むノート

handson-ml3

My fork of https://github.com/ageron/handson-ml3

Jupyter Notebook

localGPT

My fork of localGPT

poetry-devcontainer

template for setting up poetry in devcontainer

hartshorne

ハーツホーン「代数幾何学」のノートです。117ページ。

matsumura

松村英之「可換環論」のノートです。68ページ。

docker-lean4

Ubuntu base docker images of lean4 theorem prover

awesome-courses

大学などの公開講座のリストです．

free-math

This is a collection of legally free resources for mathematics.

InvertedPendulum.jl

Jupyter Notebook