Beta

Function extensionality and explicitness

Description:

Loading description...
Theorem Proving
Functional Programming
Fundamentals

Stats:

CreatedApr 26, 2021
PublishedApr 26, 2021
Warriors Trained39
Total Skips2
Total Code Submissions19
Total Times Completed17
Agda Completions17
Total Stars1
% of votes with a positive feedback rating100% of 5
Total "Very Satisfied" Votes5
Total "Somewhat Satisfied" Votes0
Total "Not Satisfied" Votes0
Total Rank Assessments7
Average Assessed Rank
6 kyu
Highest Assessed Rank
3 kyu
Lowest Assessed Rank
8 kyu
Ad
Contributors
  • ice1000 Avatar
Ad