Lean4-mode Alternatives

Similar projects and alternatives to lean4-mode

• learnxinyminutes-docs

  226 11,163 9.5 JavaScript lean4-mode VS learnxinyminutes-docs

  Code documentation written as code! How novel and totally my idea!

• lean4

  55 3,763 9.9 Lean lean4-mode VS lean4

  Lean 4 programming language and theorem prover

  

• InfluxDB

  www.influxdata.com featured

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• corfu

  44 1,023 8.9 Emacs Lisp lean4-mode VS corfu

  :desert_island: corfu.el - COmpletion in Region FUnction

• mathlib

  36 1,639 8.8 Lean lean4-mode VS mathlib

  Lean 3's obsolete mathematical components library: please use mathlib4

  

• cape

  17 543 8.8 Emacs Lisp lean4-mode VS cape

  🦸cape.el - Completion At Point Extensions (by minad)

• mathlib4

  10 837 10.0 Lean lean4-mode VS mathlib4

  The math library of Lean 4

  

• lean-mode

  2 68 1.7 Emacs Lisp lean4-mode VS lean-mode

  Emacs mode for Lean

  

• SaaSHub

  www.saashub.com featured

  SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

  

• lean4-metaprogramming-book

  1 195 8.2 Lean lean4-mode VS lean4-metaprogramming-book
  

• logical_verification_2023

  1 57 6.4 Lean lean4-mode VS logical_verification_2023

  Hitchhiker's Guide to Logical Verification (2023 Edition)

• lean4-raytracer

  2 113 3.5 Lean lean4-mode VS lean4-raytracer

  A simple raytracer written in Lean 4

• prettify-utils.el

  3 31 0.0 Emacs Lisp lean4-mode VS prettify-utils.el

  Helper functions for emacs' prettify-symbols-mode

• julia-emacs

  3 279 5.6 Emacs Lisp lean4-mode VS julia-emacs

  Julia support in Emacs.

  

• company-math

  3 122 10.0 Emacs Lisp lean4-mode VS company-math

  Completion back-ends for for math unicode symbols and latex tags

• math-symbol-lists

  2 33 10.0 Emacs Lisp lean4-mode VS math-symbol-lists

  Lists of Unicode mathematical symbols and latex commands

• topos

  1 46 10.0 Lean lean4-mode VS topos

  Topos theory in lean (by b-mehta)

• SaaSHub

  www.saashub.com featured

  SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives