Full threadJuliate·If you want to formally verify a concept, you need a framework, or reference concepts: axioms.View on HN