Basic Unicode support for Lean 4. Contribute to fgdorais/lean4-unicode-basic development by creating an account on GitHub.

Basmala Sameh High school student passionate about technology, cybersecurity, AI, and design. Currently exploring opportunities to gain hands-on experience and enhance my skills in the tech industry.

I am a Fresh graduate Software engineer from the Faculty of Computers and Imformatics - Tanta University- IT Department. Iam a junior cybersecurity engineer. - basmala-nawar ...