Summary: Compute triangular numbers
Package: Compute triangular numbers
Summary: Proves the distributive property in Isabelle.
Summary: IsabelleTestSofia1
Summary: Two trivial theorems
Summary: Coq code number 950
Summary: Defines derivatives for distributions in a probabilistic context.
Summary: Coq code number 949
Summary: Fibonacci function implementations and theorems in Lean.
Summary: Coq code number 948
Summary: Test 234
Summary: Coq code number 947
Summary: Test
Summary: Coq code number 946
Summary: Bit string addition test
Summary: Test long code
