5 kyu

DNE equivalent to PEM? Prove It!

96 of 210yuxuanchiadm

Description:

Loading description...
Mathematics
Fundamentals

Similar Kata:

More By Author:

Check out these other kata created by yuxuanchiadm

Stats:

CreatedJan 10, 2019
PublishedJan 10, 2019
Warriors Trained525
Total Skips43
Total Code Submissions742
Total Times Completed210
Haskell Completions96
Idris Completions26
Agda Completions45
Coq Completions86
Total Stars17
% of votes with a positive feedback rating95% of 40
Total "Very Satisfied" Votes36
Total "Somewhat Satisfied" Votes4
Total "Not Satisfied" Votes0
Total Rank Assessments8
Average Assessed Rank
5 kyu
Highest Assessed Rank
2 kyu
Lowest Assessed Rank
8 kyu
Ad
Contributors
  • yuxuanchiadm Avatar
  • donaldsebleung Avatar
  • kazk Avatar
  • Voile Avatar
  • lwoo1999 Avatar
  • ice1000 Avatar
  • flaco Avatar
  • monadius Avatar
Ad