leanprover

There are 0 repository under leanprover topic.

• Julian / lean.nvim

  neovim support for the Lean theorem prover

  leanproverneovimneovim-pluginleannvim-treesittertree-sitternvimlean4
  Language:Lua 210

• jaalonso / Lecturas_GLC

  Readings on computational logic, interactive theorem proving and functional programming.

  haskellfunctional-programmingitpisabelle-holcoqleanproverprologlogiclogic-programming
  62

• b-mehta / topos

  Topos theory in lean

  topos-theoryleanprover
  Language:Lean 51

• forked-from-1kasper / ground_zero

  Ground Zero: Lean 4 HoTT Library

  cttcubical-type-theoryhomotopy-type-theoryhottleanlean4leanprovermath
  Language:Lean 36

• forked-from-1kasper / lean4-categories

  Playing with Category Theory in Lean 4

  category-theoryleanlean4leanprovermathematics
  Language:Lean 14

• forked-from-1kasper / leanbot

  IRC-bot written in Lean (https://leanprover.github.io/)

  leanleanproverirc
  Language:Lean 11

• gihanmarasingha / miu_language

  A decision procedure for the formal system MIU, written in Lean 3.18.4

  leanleanprovermiudecision-procedure
  Language:Lean 7

• jjaassoonn / transcendental

  leanprover
  Language:HTML 6

• fischerman / GPU-transformation-verifier

  MCL kernel verification library

  leanleanprovermclgpu
  Language:Lean 4

• jaalonso / Logica_con_Lean

  Introducción a la lógica con Lean.

  logicleanproveritp
  Language:Lean 4

• jaalonso / Matematicas_en_Lean

  Matemáticas en Lean

  leanproverinteractive-theorem-provingmathematics
  Language:Lean 4

• mjendrusch / monoidal-categories-reboot

  monoidal categories in the Lean theorem prover

  theorem-provingcategory-theoryleanproverlean
  Language:Lean 2

• bhgomes / jensen

  a Lean implementation of Jensen's Inequality

  leanleanproverlean-theorem-proverjensen-inequality
  Language:Lean 1

• jaalonso / Razonando-con-Lean

  Elaboración de demostraciones con Lean.

  automated-theorem-provingleanprovermathematicsproof-assistant
  Language:Lean 1

• minhnhdo / programming-language-foundations-in-lean

  Programming language foundations in Lean

  programming-language-foundationsproofsleanprover
  Language:Lean 1

• jaalonso / DAO_con_Lean

  DAO (Demostración Asistida por Ordenador) con Lean

  leanprovertheorem-provinginteractive-theorem-provinglogicmathematics
  Language:Lean