Seasawher/hartshorne Seasawher/hartshorne

  • This repository has been archived on 01/Oct/2022
  • Stars
    star
    1
  • Language
    TeX
  • License
    GNU General Publi...
  • Created over 5 years ago
  • Updated over 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Seasawher/hartshorne
github

Seasawher

Reviews

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

Repository Details

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

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

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