meta user
network profile
| bio | website | |
|---|---|---|
| location | ||
| age | ||
| visits | member for | 2 years, 5 months |
| seen | May 10 at 6:08 | |
| stats | profile views | 317 |
Dear All,
If you want raw timely information about what is cooking in our lab you can follow the following stream:
We have discontinued our Facebook, Linkedin and XING accounts and are now exclusively posting on Google+.
Have Fun
|
Apr 26 |
revised |
Disjunction in Intuitionistic Logic, what about $((P \to U \lor V) \to Z)$ added 156 characters in body; added 209 characters in body; deleted 27 characters in body |
|
Feb 9 |
revised |
Prove that $\beta \rightarrow \neg \neg \beta$ is a theorem using standard axioms 1,2,3 and MP deleted 1154 characters in body |
|
Feb 9 |
revised |
Prove that $\beta \rightarrow \neg \neg \beta$ is a theorem using standard axioms 1,2,3 and MP added 481 characters in body; added 38 characters in body; deleted 1 characters in body |
|
Jan 10 |
revised |
In-place inversion of large matrices added 28 characters in body |
|
Jan 10 |
revised |
In-place inversion of large matrices edited title |
|
Jan 10 |
revised |
In-place inversion of large matrices added 505 characters in body |
|
Jan 10 |
revised |
In-place inversion of large matrices edited body; edited title |
