GitHub / lean-ja / fp-lean-ja

Functional Programming in Lean の日本語訳. 演習問題への解答を含みます（作業中 🚧）

JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/lean-ja%2Ffp-lean-ja
PURL: pkg:github/lean-ja/fp-lean-ja

Stars: 8
Forks: 2
Open issues: 3

License: other
Language: Lean
Size: 1.24 MB
Dependencies parsed at: Pending

Created at: almost 2 years ago
Updated at: 8 months ago
Pushed at: 8 months ago
Last synced at: 8 months ago

Topics: japanese-translations, lean, lean4, mdbook, theorem-prover

Loading...