Lean is much appreciated as a proof assistant; essentially software that
ensures logical correctness. Had a little chat with Gemini about it.
The message I uploaded:
The Chat:
https://share.gemini.google/lYoEWycNx5DT
Lean is much appreciated as a proof assistant; essentially software that
ensures logical correctness. Had a little chat with Gemini about it.
The message I uploaded:
https://share.gemini.google/lYoEWycNx5DT
No comments:
Post a Comment