You must be logged in to sponsor lamg
Become a sponsor to Luis Ángel Méndez Gort
- Formal verification
- Functional algorithms and data structures
- F#
1 sponsor has funded lamg’s work.
My goal is to create tools, a programming language and a self-sustaining open community in which people sell their work rather than their time.
