News for hackers. Stuff that matters.
Re:West Virginia University to drop 32 majors including all ... by BSEdlMMldESB on Saturday August 12, 2023 @08:46AM (#37099635)
proof assistants have taken over?

There are no comments on this comment yet.