Reputation
516
Top tag
Next privilege 1,000 Rep.
Create tags
Badges
4 21
Newest
 Curious
Impact
~7k people reached

  • 0 posts edited
  • 2 helpful flags
  • 176 votes cast
Sep
5
revised Better compression for a positive DNF than via BDD
added 37 characters in body
Sep
5
revised Better compression for a positive DNF than via BDD
added 4 characters in body
Jul
20
revised Has a Dependent Type always a Type?
edited body
Jul
6
revised Sum set fixpoint, how many iterations?
deleted 188 characters in body
Jul
4
revised Sum set fixpoint, how many iterations?
deleted 9 characters in body
Jul
4
revised Sum set fixpoint, how many iterations?
added 2 characters in body
Jul
4
revised Sum set fixpoint, how many iterations?
edited tags
Jun
19
revised Sum set estimates for cofinite integer sets
added 2 characters in body
Jun
19
revised Sum set estimates for cofinite integer sets
added 36 characters in body
Mar
19
revised Is there an intuitionistic proof of $\lnot p(a) \rightarrow p(b) \vdash \exists x p(x)$, what would Herbrand's Theorem say?
added 868 characters in body
Mar
18
revised Contradiction Theorem
deleted 157 characters in body
Mar
18
revised Is there an intuitionistic proof of $\lnot p(a) \rightarrow p(b) \vdash \exists x p(x)$, what would Herbrand's Theorem say?
added 37 characters in body
Mar
15
revised Disjunction in Intuitionistic Logic, what about $((P \to U \lor V) \to Z)$
edited body
Jan
10
revised Has a Dependent Type always a Type?
edited body
Dec
27
revised Has a Dependent Type always a Type?
added 7 characters in body
Dec
13
revised How do proof verifiers work?
added 46 characters in body
Dec
12
revised How do proof verifiers work?
added 3 characters in body
Nov
29
revised Non Higher-Order Formulation of Gödels Incompletness Theorem
added 3 characters in body
Nov
29
revised Depth distribution of normalized decision trees?
added 1 characters in body
Aug
26
revised Depth distribution of normalized decision trees?
added 29 characters in body