Pinned Loading

1. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   My copy of mathlib.

2. ondim ondim Public

   Multitype expansions for easy templating.

   Haskell 7 3

3. multiwalk multiwalk Public

   Create traversals and queries of multiple types at once

   Haskell 4

4. ix-cat ix-cat Public

   Generic instances and recursion schemes for the category of indexed types.

   Haskell 1

5. Bilhares.jl Bilhares.jl Public

   Julia code for simulating billiards in a hyperbolic plane or half of a sphere and doing some analysis thereof.

   Julia

6. montyHall.lean montyHall.lean

   1

   import Mathlib.Data.Rat.Defs

   2

   3

   -- exemplo de probabilidade para emily 🍉

   4

   5

   -- por simplicidade, vamos definir um espaço de probabilidade como uma