Kata Library: Coq Practice

FEATURED TAGS

54 Kata Found

8 kyu

5,548,14011 Issues Reported

2 kyu

Program Verification #8: Balanced Parentheses

Theorem Proving

Beta

Well Yes, But Actually No

Status:Testing & feedback needed

Estimated Rank:
4 kyu

6 kyu

Is nat equal to bool?

Theorem Proving

2 kyu

Cardinality of N and N x N

Theorem Proving

7 kyu

Empty Place in a Binary Tree

Theorem Proving

Data Structures

4 kyu

SKI-ing in Chicken's style

Theorem Proving

5 kyu

Exploring ways to evaluate and compile a trivial language

Theorem Proving

4 kyu

Program Verification #4: Exponentiation by squaring

Theorem Proving

6 kyu

Program Verification #3: Tail-recursive sum

Theorem Proving

6 kyu

Program Verification #1: The sum of an arithmetic progression

Theorem Proving

Beta

Verified Irregular Chessboard Area

6donaldsebleung

Status:Ranking feedback needed

Estimated Rank:
6 kyu

Theorem Proving

7 kyu

Show that there are two types that are unequal

6 kyu

Verified list maximum

45donaldsebleung

Theorem Proving

5 kyu

Times Three, Plus Five

Theorem Proving

6 kyu

Squared triangular numbers

7 kyu

Two definitions of Fibonacci words

Theorem Proving

7 kyu

Odd + Even = Odd? Even * Anything = Even? Prove it!

101shingtaklam1324

5 kyu

Theorem Proving

6 kyu

Theorem Proving

4 kyu

Program Verification #6: Fast Fibonacci numbers

Theorem Proving

6 kyu

Program Verification #2: Fibonacci numbers

Theorem Proving

6 kyu

Verified leftpad (Theorem prover showdown #1)

Theorem Proving

5 kyu

Multiples of some m, you say?

20donaldsebleung

Theorem Proving

7 kyu

Yet another random fact about filtering

39donaldsebleung

Theorem Proving

7 kyu

Confusing syntax

Theorem Proving

7 kyu

Another random fact about filtering

40donaldsebleung

Theorem Proving

7 kyu

Verified binary tree inversion

38donaldsebleung

Theorem Proving

6 kyu

Verified unique elements (Theorem prover showdown #2)

Theorem Proving

Beta

Verified fulcrum (Theorem prover showdown #3)

Status:Testing & feedback needed

Estimated Rank:
4 kyu

Theorem Proving

Loading...