Project Page
Index
Table of Contents
From
Undecidability.HOU
Require
Export
std.tactics
std.reductions
std.misc
std.decidable
std.countability
std.enumerable
std.retracts
std.lists.basics
std.lists.advanced
std.lists.misc
std.ars.basic
std.ars.confluence
std.ars.normalisation
std.ars.evaluator
std.ars.list_reduction
.