chris martens on Nostr: nprofile1q…dawd8 i mean software for doing computer-assisted theorem proving, such ...
nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqzwzcgjztdn95g0cnkk0z9mz393xzzc4c69qqp78350sy83lfrjxqjdawd8 (nprofile…awd8) i mean software for doing computer-assisted theorem proving, such as Rocq, Lean, and Agda