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: May 02 2025 at 03:31 UTC