Beta

Identity type: Prove H from J

Description:

Loading description...
Theorem Proving
Logic
Fundamentals

Stats:

CreatedJun 11, 2023
PublishedJun 11, 2023
Warriors Trained17
Total Skips1
Total Code Submissions1
Total Times Completed1
Agda Completions1
Total Stars2
% of votes with a positive feedback rating0% of 0
Total "Very Satisfied" Votes0
Total "Somewhat Satisfied" Votes0
Total "Not Satisfied" Votes0
Ad
Contributors
  • mildsunrise Avatar
Ad