(in Polish) Dowodzenie twierdzeń w języku Lean 1000-2M26DTL

Information on level of this course, year of study and semester when the course unit is delivered, types and amount of class hours - can be found in course structure diagrams of apropriate study programmes. This course is related to the following study programmes:

• Bachelor's degree, first cycle programme, Computer Science
• Master's degree, second cycle programme, Computer Science