Open Hub
Black Duck Open Hub

 Settings |  Report Duplicate

0
I Use This!
Inactive

Commits : Listings

Analyzed about 12 hours ago. based on code collected about 16 hours ago.
May 02, 2023 — May 02, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
補題を追加
mzp
More... over 14 years ago
余分な前提をはずした
mzp
More... over 14 years ago
add lemma
mzp
More... over 14 years ago
proof is progressed
mzp
More... over 14 years ago
proof alpha_id
mzp
More... over 14 years ago
remove extra unfold
mzp
More... over 14 years ago
proofing
mzp
More... over 14 years ago
rename
mzp
More... over 14 years ago
proof alpha preserv
mzp
More... over 14 years ago
proof lemma
mzp
More... over 14 years ago
all alpha preservation theorem/Not proof
mzp
More... over 14 years ago
split file
mzp
More... over 14 years ago
update subst definition
mzp
More... over 14 years ago
add tacics to type_rename
mzp
More... over 14 years ago
proof lemma
mzp
More... over 14 years ago
add some lemma
mzp
More... over 14 years ago
add lemma
mzp
More... over 14 years ago
proof at Var-case
mzp
More... over 14 years ago
Merge branch 'master' into subst
mzp
More... over 14 years ago
add ignore patterns
mzp
More... over 14 years ago
reimplement eval
mzp
More... over 14 years ago
implement subst(not proof)
mzp
More... over 14 years ago
rename Value Prop
mzp
More... over 14 years ago
use maybe monad
mzp
More... over 14 years ago
file structure is refactored
mzp
More... over 14 years ago
fix
mzp
More... over 14 years ago
Define NotFV prop
mzp
More... over 14 years ago
Merge branch 'master' of github.com:mzp/lambda
mzp
More... over 14 years ago
fix typo
mzp
More... over 14 years ago
proofing substitution lemma
mzp
More... over 14 years ago