Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology
Proceedings of the First Symposium on Teaching Indigenous Languages of Latin America = Actas del Primer Simposio sobre Enseñanza de Lenguas Indígenas de América Latina. STILLA-2008
Proceedings of the First Symposium on Teaching Indigenous Languages of Latin America = Actas del Primer Simposio sobre Enseñanza de Lenguas Indígenas de América Latina. STILLA-2008
Pastoral marital therapy : a practical primer for ministry to couples