Student facing LAC repo
Stars
13
Forks
10
Watchers
Open Issues
0
Overall repository health assessment
No package.json found
This might not be a Node.js project
No contributors data available
L16
d71a731
L15
860e0eb
cfg2pda
4204a7a
pumping lemma, ex5 and updates
c0517d2
updates and ex4
ca04ace
L11 update
0b04867
added lectures
3c138a3
L08
cb9ef4d
fixed epsilon issue
ef45ad9
L07
0adcd51
563ff78
changed lecture import
7d490e4
include L06 and Autom.lean
e563b7a
ex2 added
5689f7a
L04
3537deb