/science/

science section


µchan can run on Docker now, check out the guide

New thread






[Catalog] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [Next]
#1 Anonymous 2016-07-14 10:00:28
1+1=3
Proof me wrong
#2 Anonymous 2016-08-26 15:12:29
fun H : 1 + 1 = 3 =>
(fun H0 : False => False_ind False H0)
(eq_ind (1 + 1)
(fun e : nat =>
match e with
| 0 => False
| 1 => False
| 2 => True
| S (S (S _)) => False
end) I 3 H)
Comment too long, view thread to read.
#3 Anonymous 2018-01-31 16:05:14
1+1=2 quick mafs

#1 Anonymous 2017-12-21 23:12:11
2+2=4-1=3 quick mafs

sww
#1 dds 2017-04-23 08:43:54
swe;;e
#2 kani 2017-04-23 08:53:19
tetsform s

[Catalog] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [Next]