Zulip Chat Archive
Stream: Program verification
Topic: Representing proofs in Julia
Iocta (Apr 07 2023 at 07:56):
The Julia implementers are looking for suggestions on how to represent proofs in the compiler.
https://github.com/JuliaLang/julia/issues/49273
Last updated: Dec 20 2023 at 11:08 UTC