lean-stuff

Public

• NotificationsYou must be signed in to change notification settings
• Fork0 (0)
• Star0 (0)You must be signed in to star a repository

About

No description, website, or topics provided.

Activity

Stars

0 stars

Watchers

1 watching

Forks

0 forks

Report repository

main

BranchesTags

Go to file

Code

Open more actions menu

Latest commit

 

History

96 Commits

96 Commits

Folders and files

Name		Name	Last commit message	Last commit date
Common		Common
Logic		Logic
STLC		STLC
bindgen		bindgen
cont		cont
ipasir		ipasir
lambda.3		lambda.3
lambda.old		lambda.old
lambda		lambda
parametric		parametric
resource		resource
social_choice		social_choice
sorting		sorting
wf		wf
.gitignore		.gitignore
Abt.lean		Abt.lean
Ack.lean		Ack.lean
BTree.lean		BTree.lean
Bug.lean		Bug.lean
BuraliForti.lean		BuraliForti.lean
BuraliForti2.lean		BuraliForti2.lean
CBPV.lean		CBPV.lean
CBPVI.lean		CBPVI.lean
Cantor.lean		Cantor.lean
Cauchy.lean		Cauchy.lean
CheckRec.lean		CheckRec.lean
CoInd.lean		CoInd.lean
CoNat.lean		CoNat.lean
Coinduction.lean		Coinduction.lean
CoinductionWeird.lean		CoinductionWeird.lean
Coinductive.lean		Coinductive.lean
Common.lean		Common.lean
Compiler.lean		Compiler.lean
Compiler.lean.bak		Compiler.lean.bak
Compiler2.lean		Compiler2.lean
Cubical.lean		Cubical.lean
CurryParadox.lean		CurryParadox.lean
Delay.lean		Delay.lean
Env.lean		Env.lean
Eqns.lean		Eqns.lean
F.lean		F.lean
Fib.lean		Fib.lean
FreeMonad.lean		FreeMonad.lean
G0.lean		G0.lean
HOAS.lean		HOAS.lean
HOAS2.lean		HOAS2.lean
HOAS3.lean		HOAS3.lean
HOAS4.lean		HOAS4.lean
Hurkens.lean		Hurkens.lean
Ind.lean		Ind.lean
IndInd.lean		IndInd.lean
IndInd2.lean		IndInd2.lean
IndSig.lean		IndSig.lean
Inline.lean		Inline.lean
LStateM.lean		LStateM.lean
Lambda.lean		Lambda.lean
Lawful.lean		Lawful.lean
LawfulMonadIO.lean		LawfulMonadIO.lean
Level.lean		Level.lean
M.lean		M.lean
Mutual.lean		Mutual.lean
MutualNested.lean		MutualNested.lean
NBE.lean		NBE.lean
Nat.lean		Nat.lean
Nat2.lean		Nat2.lean
Nat3.lean		Nat3.lean
NestedSwap.lean		NestedSwap.lean
Option.lean		Option.lean
PSF.lean		PSF.lean
PSFNBE.lean		PSFNBE.lean
PSFOLD.lean		PSFOLD.lean
Param.lean		Param.lean
Perm.lean		Perm.lean
PredLogic.lean		PredLogic.lean
Recursive.lean		Recursive.lean
Rose.lean		Rose.lean
Russell.lean		Russell.lean
Search.lean		Search.lean
Sig.lean		Sig.lean
Sort1.lean		Sort1.lean
Sort2.lean		Sort2.lean
Strong.lean		Strong.lean
Stx.lean		Stx.lean
SystemF.lean		SystemF.lean
Unify.lean		Unify.lean
Uniq.lean		Uniq.lean
Untyped.lean		Untyped.lean
UntypedLC.lean		UntypedLC.lean
W.lean		W.lean
cps.lean		cps.lean
curry.lean		curry.lean
curry.lean4		curry.lean4
curry2.lean		curry2.lean
curry2.lean4		curry2.lean4
curry3.lean4		curry3.lean4
curry4.lean4		curry4.lean4
fin.lean		fin.lean
heq.lean		heq.lean
inductive.lean		inductive.lean
inductive2.lean		inductive2.lean
View all files

About

No description, website, or topics provided.

Activity

Stars

0 stars

Watchers

1 watching

Forks

0 forks

Report repository

Releases

Packages

Contributors

Languages