Seasawher/mathlib4-tactics Seasawher/mathlib4-tactics

  • Stars
    star
    10
  • Rank 1,807,489 (Top 36 %)
  • Language
    JavaScript
  • License
    Apache License 2.0
  • Created 8 months ago
  • Updated 4 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Seasawher/mathlib4-tactics
github

Seasawher

Reviews

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

Repository Details

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

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

mk-exercise

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

lean-book

mdbook template for lean project
Lean
4
star
5

InterpreterBook

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

import-all

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

system_exam

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

PreventCreatePublicRepo

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

ConcreteSemantics.lean

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

handson-ml3

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

localGPT

My fork of localGPT
Python
1
star
12

poetry-devcontainer

template for setting up poetry in devcontainer
Dockerfile
1
star
13

hartshorne

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

matsumura

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

docker-lean4

Ubuntu base docker images of lean4 theorem prover
Dockerfile
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