Lies, Damned Lies and Proofs: Formal Methods Are Not Slopless
#HackerNews #Lies #Damned #Lies #Formal #Methods #Proofs #Technology
XML-Lib – An over-engineered XML workflow with guardrails and proofs
https://github.com/farukalpay/xml-lib
#HackerNews #XMLLib #OverEngineering #XMLWorkflow #Guardrails #Proofs #GitHub