Skip to main content

CodewarsDocs

Introduction
Getting Started
Training
Authoring
Curation
Community
Languages
- Agda
- BF
- C
- CFML
- Clojure
- COBOL
- CoffeeScript
- CommonLisp
- Coq
  - coq_codewars
- C++
- Crystal
- C#
- D
- Dart
- Elixir
- Elm
- Erlang
- Factor
- Forth
- Fortran
- F#
- Go
- Groovy
- Haskell
- Haxe
- Idris
- Java
- Javascript
- Julia
- Kotlin
- Lambda Calculus
- Lean
- Lua
- NASM
- Nim
- Objective-C
- OCaml
- Pascal
- Perl
- PHP
- PowerShell
- Prolog
- PureScript
- Python
- R
- Racket
- Raku
- Reason
- Ruby
- Rust
- Scala
- Shell
- Solidity
- SQL
- Swift
- TypeScript
- VB.NET
Gamification
Concepts
References
Meta

Languages
Coq
coq_codewars

coq_codewars

Tags:

coq
reference
testing

Copyright © 2022 Codewars