I'll have to have a look at Lean 4 then. The simulation hypothesis has a flaw IM...

		pmarreck 4 months ago \| parent \| context \| favorite \| on: OCaml Programming: Correct and Efficient and Beaut... I'll have to have a look at Lean 4 then. The simulation hypothesis has a flaw IMHO- If it is modelable and therefore computable, it may be subject to the halting problem