Seasawher/docker-lean4 Seasawher/docker-lean4

  • This repository has been archived on 04/Sep/2023
  • Stars
    star
    1
  • Language
    Dockerfile
  • License
    MIT License
  • Created over 1 year ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Seasawher/docker-lean4
github

Seasawher

Reviews

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

Repository Details

Ubuntu base docker images of lean4 theorem prover

More Repositories

1

graduate_exam

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

mdgen

Tool to generate markdown files from lean files. This is heavily inspired by lean2md.
Lean
12
star
3

mathlib4-tactics

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

mk-exercise

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

lean-book

mdbook template for lean project
Lean
4
star
6

InterpreterBook

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

import-all

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

system_exam

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

PreventCreatePublicRepo

simple Chrome extension which prevent creating public repository!
JavaScript
2
star
10

ConcreteSemantics.lean

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

handson-ml3

My fork of https://github.com/ageron/handson-ml3
Jupyter Notebook
1
star
12

localGPT

My fork of localGPT
Python
1
star
13

poetry-devcontainer

template for setting up poetry in devcontainer
Dockerfile
1
star
14

hartshorne

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

matsumura

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

awesome-courses

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

free-math

This is a collection of legally free resources for mathematics.
1
star
18

InvertedPendulum.jl

Jupyter Notebook
1
star