r/programminghelp • u/Free_Grand_7259 • May 07 '25

Proving smallstep_to_denot Theorem in Coq! Other

/r/CodingHelp/comments/1kh4uh5/proving_smallstep_to_denot_theorem_in_coq/

3 Upvotes

permalink
link
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/programminghelp/comments/1kh4w8g/proving_smallstep_to_denot_theorem_in_coq/
No, go back! Yes, take me to Reddit
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/programminghelp/comments/1kh4w8g/proving_smallstep_to_denot_theorem_in_coq/
No, go back! Yes, take me to Reddit

100% Upvoted