Seasawher/InterpreterBook

Stars
3
Rank 3,963,521 (Top 79 %)
Language Lean
Created 5 months ago
Updated 4 months ago

Seasawher/InterpreterBook

Seasawher

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

「go 言語でつくるインタプリタ」の 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

mk-exercise

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

lean-book

mdbook template for lean project

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