User Activity
-
Committed
[016604]
tidied a definition and proof
-
Committed
[4ae553]
Merge
-
Committed
[c7606b]
removed a terrible default simprule
-
Committed
[2da14e]
webpage for Delta_System_Lemma
-
Committed
[89ed18]
New (ZF!) entry Delta_System_Lemma
-
Committed
[7e9db3]
A bit of tidying
-
Committed
[7b26d4]
A few tweaks
-
Committed
[99c2ec]
tidying up
Personal Data
- Username:
- lp15
- Joined:
- 2004-02-13 17:05:47
Projects
This is a list of open source software projects that lp15 is associated with:
-
Archive of Formal Proofs A collection of machine-checkend mathematical proofs Last Updated: