Kazuhisa Nakasho's repositories
deepmath
deep learning for math
Language:PerlNOASSERTION000
emparser
Extended Mizar parser
Language:C++NOASSERTION000
empy
eco-Mizar Python Library
MIT000
MIT000
enpit2-agile2018
山口大学 enPiT2 アジャイル開発手法演習(2018年度)
enpit2-agile2019
山口大学 enPiT2 アジャイル開発手法演習(2019年度)
grammar-analyzer
Calculate first/follow/director set from EBNF grammar
Language:HTML000
marp-community-themes
Theme gallery for Marp maintained by the community
Language:HTMLMIT000
mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
Language:HTML000
mathlib4
The math library of Lean 4
Language:LeanApache-2.0000
mizar-rs
Alternative Mizar proof checker (http://mizar.org/) written in Rust
Language:RustGPL-3.0000
GPL-3.0000
mizcore
eco-Mizar Core Library
Language:C++NOASSERTION000
Language:Coq000