ElisTarskiPf A	Eli Barzilay's formalization of Tarski's unrepresentability of Truth
core	Some basic concepts defined type-theoretically.