"the field of computer scientist" in FAQ - "computer science"?

hwayne / learntla-v2

Learn TLA+ for free! No prior experience necessary!

https://www.learntla.com

Other

198 stars 41 forks source link

"the field of computer scientist" in FAQ - "computer science"? #20

Closed frankshearar closed 2 years ago

frankshearar commented 2 years ago

"“Formal methods” is, very roughly, the field of computer scientist dedicated to writing correct programs." on https://learntla.com/intro/faq.html.

hwayne commented 2 years ago

Fixing now