Mathlib v3 is deprecated. Go to Mathlib v4

Theorem partrec.comp

Modification history

2018-06-19 09:53
computability/partrec.lean
Merge branch 'master' of github.com:leanprover/mathlib
Modified partrec.compView on Github →
2018-06-19 08:08
computability/partrec.lean
chore(data/list/basic): minor cleanup of find variables (#137)
Modified partrec.compView on Github →
2018-06-17 10:20
computability/partrec.lean
feat(category): add functor_norm simp_attr, and class is_comm_applicative
Modified partrec.compView on Github →
2018-05-19 21:28
data/computability/partrec.lean
feat(computability/partrec): partial recursion, Godel numbering
Added partrec.compView on Github →