Tony Beta Lambda's repositories

hStacks

Stacks project, from a homotopy type theory point-of-view (hPOV)

quickfix.py

Run a Python script and format the exception traceback as Vim quickfix

Language:PythonLicense:MITStargazers:9Issues:3Issues:2

Collections-DT

Dependently-typed implementations of common collections

minesweeper_bot

A telegram bot for minesweeper games

Language:RustLicense:GPL-3.0Stargazers:8Issues:2Issues:0

grimoire

Grimoire of Alice

Language:AgdaStargazers:7Issues:3Issues:0

FreeCell.lean

A verified implementation of FreeCell written in Lean 4.

Language:LeanLicense:GPL-3.0Stargazers:4Issues:0Issues:0

FunWithArend

Some interesting snippets in Arend. Mostly for fun.

FreeCell.hs

A terminal-based FreeCell solitaire game written in Haskell

Language:HaskellLicense:GPL-3.0Stargazers:1Issues:2Issues:0

madison

A haskell implementation of the Wisconsin Card Sorting Task

Language:HaskellLicense:GPL-3.0Stargazers:1Issues:1Issues:0

mathlib4

The math library of Lean 4

Language:LeanLicense:Apache-2.0Stargazers:1Issues:0Issues:0

DefineIt

A browser extension that shows the definition of words on double-click

Language:JavaScriptLicense:MITStargazers:0Issues:2Issues:1

EG

Formalizing Euclidean Geometry in Lean

Language:LeanStargazers:0Issues:0Issues:0

expand-region.el

Expand current region in Emacs in a semantic-aware manner

Language:Emacs LispStargazers:0Issues:2Issues:0

fermat

代数数论与类域论笔记

Language:TeXLicense:GPL-3.0Stargazers:0Issues:1Issues:0
Stargazers:0Issues:0Issues:0
Language:AgdaStargazers:0Issues:2Issues:0
Language:RustStargazers:0Issues:2Issues:0

LeanDojo

Tool for data extraction and interacting with Lean programmatically.

License:MITStargazers:0Issues:0Issues:0

loa

Lines of Action abstract strategy board game

Language:TypeScriptLicense:GPL-3.0Stargazers:0Issues:1Issues:0

mathematics_in_lean

The user home repository for the Mathematics in Lean tutorial.

Language:HTMLStargazers:0Issues:0Issues:0

mathematics_in_lean_source

Source code for the Mathematics in Lean tutorial.

Language:LeanStargazers:0Issues:0Issues:0
Language:RustStargazers:0Issues:2Issues:0

theorem_proving_in_lean4

Theorem Proving in Lean 4

License:Apache-2.0Stargazers:0Issues:0Issues:0
Language:HTMLLicense:CC0-1.0Stargazers:0Issues:2Issues:0