I

iron lambda

Settings | Report Duplicate

0

I Use This!

Inactive

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Dec 29, 2024 — Dec 29, 2025 Showing page 1 of 11 Search / Filter on:
Merge pull request #1 from shua/patch-1	Trevor L. McDonell	More...				over 5 years ago
Merge branch 'master' into patch-1	shua	More...				over 5 years ago
simplepcf: update for coq 8.9	Ben Lippmeier	More...				about 6 years ago
hectic: don't subst in 'rip'	Ben Lippmeier	More...				about 6 years ago
Start fixing for Coq 8.10	Ben Lippmeier	More...				about 6 years ago
less than when it should be greater than	shua	More...				over 7 years ago
Add Calc language	Ben Lippmeier	More...				over 8 years ago
wibbles to make it build with Coq 8.6	Ben Lippmeier	More...				almost 9 years ago
Fixes for Coq 8.5	Ben Lippmeier	More...				almost 10 years ago
Remove old DelayedSystemF attempt	Ben Lippmeier	More...				almost 10 years ago
Shift DelayedSimpleUS to done	Ben Lippmeier	More...				almost 10 years ago
Finish simple without type annots on subst bindings	Ben Lippmeier	More...				almost 10 years ago
Clone DelayedSimple into DelayedSimpleUS	Ben Lippmeier	More...				almost 10 years ago
Move DelayedSimple proof to done	Ben Lippmeier	More...				almost 10 years ago
DelayedSystemF: hacks, still not working	Ben Lippmeier	More...				almost 10 years ago
DelayedSystemF: make it up to progress	Ben Lippmeier	More...				almost 10 years ago
Clone DelayedSimple proof into DelayedSystemF	Ben Lippmeier	More...				almost 10 years ago
DelayedSimple: reorg modules again	Ben Lippmeier	More...				almost 10 years ago
Fix breakages from new Coq version	Ben Lippmeier	More...				almost 10 years ago
DelayedSimple: reorg module hierarchy:	Ben Lippmeier	More...				almost 10 years ago
Add experimental monoid and sequence code	Ben Lippmeier	More...				almost 10 years ago
SimpleDelayed, add library code, rename	Ben Lippmeier	More...				almost 10 years ago
SimpleDelayed: more cleanups	Ben Lippmeier	More...				almost 10 years ago
SimpleDelayed: cleanup definition of done	Ben Lippmeier	More...				almost 10 years ago
SimpleDelayed: more cleanups	Ben Lippmeier	More...				almost 10 years ago
SimpleDelayed: removing uses of nope tactic	Ben Lippmeier	More...				almost 10 years ago
SimpleDelayed: detatch from unused iron lambda libs	Ben Lippmeier	More...				almost 10 years ago
Finish eval proof	Ben Lippmeier	More...				almost 10 years ago
delayed: fix eval	Ben Lippmeier	More...				almost 10 years ago
Add SimpleDelayed language	Ben Lippmeier	More...				almost 10 years ago

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