Top Questions

1. How to split a string into the first character and the rest?
   3 votes

   3 answers
2. Is Lean 4 lazy or strict?
   3 votes

   1 answers
3. Is there a prefix notation in Lean?
   3 votes

   1 answers
4. How to use WebAssembly Reference Types with Clang
   2 votes

   1 answers
5. How to use sockets in Lean?
   2 votes

   2 answers