Re:What I've Learned About Formal Methods in Half a Year
by prisonguard on Monday April 10, 2023 @01:18PM
(#35514680)
thank you for explaining, but do i need a special keyboard just to type out the natural number type?
[ Parent
| on HN ]
Re:What I've Learned About Formal Methods in Half a Year
by deadbeef57 on Monday April 10, 2023 @03:30PM
(#35516362)
No, you can just type `\nat` and the Lean extension in VScode will turn it into `ℕ`. Similarly, you can type many LaTeX macros, and the will render in unicode. Examples: `\times` becomes `×` and `\to` becomes `→`, etc...