Kata Library: Coq Practice

FEATURED TAGS

42 Kata Found

2 kyu

Program Verification #8: Balanced Parentheses

Theorem Proving

Beta

Kleene's theorem on nondeterministic finite automata

Status:Testing & feedback needed

Estimated Rank:
3 kyu

Theorem Proving

Regular Expressions

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

Beta

Verified Sums of Parts

13donaldsebleung

Status:Ranking feedback needed

Estimated Rank:
7 kyu

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

6 kyu

Verified list maximum

43donaldsebleung

Theorem Proving

5 kyu

Times Three, Plus Five

Theorem Proving

7 kyu

Two definitions of Fibonacci words

Theorem Proving

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?

17donaldsebleung

Theorem Proving

7 kyu

Yet another random fact about filtering

35donaldsebleung

Theorem Proving

7 kyu

Confusing syntax

Theorem Proving

7 kyu

Another random fact about filtering

38donaldsebleung

Theorem Proving

7 kyu

Verified binary tree inversion

35donaldsebleung

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

5 kyu

But WHY is LEM unprovable?

Theorem Proving

6 kyu

Duality in Boolean logic

Theorem Proving

4 kyu

Introduction to bijection, cardinality, and infinite sets

Theorem Proving

Loading...