About Me
// Hello, World !
Top Answers
-
Remove HTML tags from a String
1 votes
Top Questions
-
Termination checking failed to prove ∃-even′ : ∀ {n : ℕ} → ∃[ m ] ( 2 * m ≡ n) → even n
3 votes1 answers
-
Django create unique function index
2 votes1 answers