Seasawher

I like mathematics and Lean language.

Proxima TechnologyJapan

Pinned Repositories

lean-by-example
コード例で学ぶ Lean 言語
Language:Lean51 5 8267
lean99
These are Lean translations of Ninety-Nine Haskell Problems (WIP)
Language:Lean14 4 143
ConcreteSemantics.lean
「Concrete Semantics」を Lean で読むノート
Language:Lean2 2 01
graduate_exam
京都大学数学系の院試の問題と解答です
Language:TeX51 2 05
InterpreterBook
「go 言語でつくるインタプリタ」の Lean によるノート
Language:Lean3 1 01
mathlib4-help
List of the output of #help command of mathlib4, including list of all tactics, commands...etc
Language:Python141
mdgen
Tool to generate markdown files from lean files. This is heavily inspired by lean2md.
Language:Lean13 2 241
mk-exercise
Simple and intuitive tool to manage exercises in textbooks written in Lean.
Language:Lean6 2 110
NumericalAnalysis.lean
朝倉書店「Pythonによる数値計算入門」のノート
Language:Lean0 1 00
ZeroD.lean
「ゼロから作るDeep Learning」をLeanで読みたい
Language:Lean0 1 01

Seasawher's Repositories

Seasawher/localGPT
My fork of localGPT
Language:Python1 2 0
Seasawher/poetry-devcontainer
template for setting up poetry in devcontainer
Language:Dockerfile1 2 00
Seasawher/beastify-extension
ブラウザ拡張機能を作るチュートリアルで作成した，FireFox拡張機能
Language:JavaScript2 0
Seasawher/book-recommendation
FreeCodeCamp / Machine Learning with Python / Book Recommendation Engine using KNN
Language:Jupyter Notebook
Seasawher/chatbot-tutorial
streamlit による chatbot 作成の練習です
Language:Python2 0
Seasawher/fcc-machine-learning
my attempt of fcc machine learning projects. WIP :construction:
2 0
Seasawher/fp-lean
Functional Programming in Lean のソースコードのクローン
Language:JavaScript2 0
Seasawher/fp-lean-solutions
「Functional Programming in Lean」の演習問題の解答を置いておく用のリポジトリです．
Language:Lean2 0
Seasawher/game-of-life
Conway's game of life implemented by Deno + TypeScript + p5js
Language:TypeScript2 21
Seasawher/hello-tauri-react
Tauri + React を用いた開発環境のセットアップ．
Language:TypeScript2 1
Seasawher/how_to_install_lean
Leanのインストール方法・elanとLakeの使い方
Language:JavaScript
Seasawher/lean-math-workshop-my-solutions
https://github.com/yuma-mizuno/lean-math-workshop のクローン．自分で問題を解いていくために使う．
Language:Lean2 0
Seasawher/lean-math-workshop-sphinx
https://github.com/yuma-mizuno/lean-math-workshop の内容をウェブページとしてビルドする試み
Language:Lean
Seasawher/lean-math-workshop-static-site
https://github.com/yuma-mizuno/lean-math-workshop のフォーク．lean ⇒ md と変換してWebページを作る試み
Language:Lean
Seasawher/lean-quiz
Quiz on Lean4!
Language:Lean2 0
Seasawher/lean-quiz-template
Lean でクイズを出題するためのテンプレート. lean_grader を使用して自動採点を行います．開発中．
Language:Lean
Seasawher/linear-regression
FreeCodeCamp / Machine Learning with Python / Linear Regression Health Costs Calculator
Language:Jupyter Notebook2 0
Seasawher/math-in-type-theory-ja
Xena の記事「Mathematics in type theory」の非公式日本語訳です
Language:Handlebars1 0
Seasawher/math-in-type-theory-ja-old
Mathematics in type theory の非公式日本語訳（古いです）
Seasawher/math2001
Lean4 による数学の定理証明のチュートリアル
Language:Lean1 0
Seasawher/mathematics_in_lean_old
「Mathematics in Lean」の読書メモ
Language:Lean1 0
Seasawher/mathematics_in_lean_source_fork0
Mathematics in Lean のソースコードのフォーク. GitHub Action で自動デプロイを行う
Language:Lean2 1
Seasawher/mathlib4
The math library of Lean 4
Language:Lean1 0
Seasawher/mathlib4-options
all options in mathlib4
Language:Lean2 01
Seasawher/mean-variance-standard-deviation-calculator
FreeCodeCamp Project / Data Analysis with Python
Language:Python1 0
Seasawher/mlflow-test
MLFlow を試します
Language:Dockerfile2 0
Seasawher/natural-number-game4-solutions
my save data of natural number game 4
2 2
Seasawher/neural-network-sms-text-classifier
Free Code Camp / Machine Learning with Python / Neural Network SMS Text Classifier
Language:Jupyter Notebook2 1
Seasawher/serene-blog
WIP: work in progress
Language:JavaScript2 0
Seasawher/zola-serene
私の個人ページ
Language:JavaScript2 1