Pinned Loading

1. ocsigen/js_of_ocaml ocsigen/js_of_ocaml Public

   Compiler from OCaml to Javascript.

   OCaml 982 189

2. moonbitlang/core moonbitlang/core Public

   MoonBit's Core library

   MoonBit 723 97

3. moonbit-community/fun moonbit-community/fun Public

   MoonBit 1

4. Coq Gallina: pattern match vs elimin... Coq Gallina: pattern match vs eliminator

   1

   (* 

   2

   3

   equality in stdlib:

   4

     https://coq.inria.fr/doc/V8.18.0/refman/proofs/writing-proofs/equality.html

   5

5. Coq Proof: 0 = 1 -> 0 = 1 + n Coq Proof: 0 = 1 -> 0 = 1 + n

   1

   (* https://www.cs.cornell.edu/courses/cs3110/2018sp/a5/coq-tactics-cheatsheet.html *)

   2

   3

   Definition ex0 : 

   4

     forall n : nat,

   5

     0 = 1 -> 0 = 1 + n