LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Lean

AutomataTheory

Automata theory in Lean

LeanEmerging

Stars

21

Forks

1

Contributors

1

Last push

3mo ago

Recent commits

Latest commits.

Update README.md
f196548Ching-Tsun Chou3mo ago
Update README.md
6645e7eChing-Tsun Chou4mo ago
Update README.md
6f5c6f9Ching-Tsun Chou4mo ago
Update README.md
95d9e29Ching-Tsun Chou5mo ago
Update README.md
b82ce4bChing-Tsun Chou5mo ago

Refactor AutomataTheory/Sequences/Basic.lean

733ffc2Ching-Tsun Chou9mo ago

Use Stream' to model infinite sequences

a53e898Ching-Tsun Chou9mo ago

Refactor in preparation for using Stream'

2c3ba16Ching-Tsun Chou9mo ago

Top contributors

Builders behind this project.