File: error.v

package info (click to toggle)
flycheck 31-3
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 3,660 kB
  • sloc: lisp: 11,831; python: 729; makefile: 243; cpp: 23; ruby: 23; ada: 17; f90: 16; xml: 14; erlang: 14; ansic: 12; haskell: 12; sh: 10; php: 9; perl: 7; fortran: 3; sql: 1
file content (10 lines) | stat: -rw-r--r-- 149 bytes parent folder | download | duplicates (4) 
1
2
3
4
5
6
7
8
9
10
 
Module Error.

  Fixpoint evenb (n:nat) : bool :=
    match n with
      | O => true
      | S O => false
      | S (S n') => 1
    end.

End Error.