collares Goto Github PK

aesop

White-box automation for Lean 4

agda-sessions

Learn the Agda basics in three 2-hour sessions.

anuncieaqui-biblioteca

"Anuncie Aqui" Team Code Library for ACM ICPC

arxiv-mode

Emacs major mode for viewing updates on arXiv.org

bors-ng

👁 A merge bot for GitHub Pull Requests

carleson

A formalized proof of Carleson's theorem in Lean

cluster-coefficients

dyalog-nixos

Run dyalog APL and RIDE on nixos

emacs

Mirror of GNU Emacs

emacs-direnv

direnv integration for emacs

emacs-overlay

Bleeding edge emacs overlay [maintainer=@adisbladis]

emacs2nix

Automatically generate Nix expressions for Emacs packages

exponentialramsey

hsphfpd-prototype

Prototype of Bluetooth HSP/HFP daemon

ivy-exwm

Ivy completion for EXWM

lake

Lean 4 build system and package manager with configuration files written in Lean.

lean-mode

Emacs mode for Lean

lean2

Lean theorem prover version 0.2 (it supports standard and HoTT modes)

lean4

Lean 4 programming language and theorem prover

lean4-samples

Code samples for Lean 4

leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.

liquid

Website and documentation for the Liquid Tensor Experiment

mathematics_in_lean

The user home repository for the Mathematics in Lean tutorial.

mathematics_in_lean_source

Source code for the Mathematics in Lean tutorial.

mathlib

Lean mathematical components library

mathlib-tools

Development tools for https://github.com/leanprover-community/mathlib

mathlib4

Work in progress mathlib port for lean 4

matplotlib

matplotlib: plotting with Python

nixos-users-against-mic-sponsorship.github.io

nixpkgs

Nix Packages collection