I

iron lambda

Settings | Report Duplicate

0

I Use This!

Inactive

Commits : Listings

Analyzed about 23 hours ago. based on code collected about 23 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Jan 17, 2025 — Jan 17, 2026 Showing page 8 of 11 Search / Filter on:
SystemF2Effect: generalise maskOnCap	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: hacks on preservation	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: proper EquivT and SubsT, and lemmas	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect, redoing EquivT	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: split type equiv and subst judgements into own modules	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: cleanup type module hierarchy	Ben Lippmeier	More...				almost 13 years ago
Remove .Language path from devel systems	Ben Lippmeier	More...				almost 13 years ago
Unbreak other languages	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: add store props to TYPEC judgement	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: fixing admits in preservation / new	Ben Lippmeier	More...				almost 13 years ago
Makefile tweaks	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: start new preservation theorem	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: add inversion ltac for TYPEC	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: split TyJudge wf lemma into own module	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: remove old progress theorem	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: split new progress theorem into old module	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: progress for frame version of small step rules	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: break up SubstTT module and removing XUse	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: start on Frame stacks	Ben Lippmeier	More...				almost 13 years ago
SimplePCFa: unbreak bits of the CIU equiv stuff	Ben Lippmeier	More...				almost 13 years ago
SimplePCFa: do subst val/exp and preservation	Ben Lippmeier	More...				almost 13 years ago
SimplePCFa: do Progress	Ben Lippmeier	More...				almost 13 years ago
SimplePCFa: update to new tactic library	Ben Lippmeier	More...				almost 13 years ago
SimplePCFa: cleanup module hieararchy	Ben Lippmeier	More...				almost 13 years ago
Add mentionsCapT function, but it's not used yet	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: work on region handle freshness	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: do maskOnCap_nomatch lemma	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: do maskOnCap_liftTT	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: fix admits in subst type/exp	Ben Lippmeier	More...				almost 13 years ago
SystemF2Effect: fix rest of admits in mask lemmas	Ben Lippmeier	More...				almost 13 years ago

←
1
2
3
4
5
6
7
8
9
10
11
→