🐢 w/ links

iiithf · Nov 25, 2021 · 188c92d · 188c92d
1 parent dceed68
commit 188c92d
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 2 deletions.
diff --git a/LICENSE b/LICENSE
@@ -1,6 +1,6 @@
 MIT License
 
-Copyright (c) 2020 Subhajit Sahu
+Copyright (c) 2020-21 Subhajit Sahu
 
 Permission is hereby granted, free of charge, to any person obtaining a copy
 of this software and associated documentation files (the "Software"), to deal

diff --git a/README.md b/README.md
@@ -2,19 +2,23 @@ Software Foundations is a broad introduction to the mathematical
 underpinnings of reliable software.
 
 **Course**: Software Foundations, Spring 2020<br>
-**Taught by**: Prof. Venkatesh Chopella
+**Taught by**: [Prof. Venkatesh Chopella]
 
 See [Coq] for Coq proofs assignment,
 [merge-sort] for multi-stage transition system design assignment,
 and [balanced-sliding-window] for transition system project.
+
 <br>
 <br>
 
+
 Similar courses:
 - [CS 494 SF: Software Foundations](https://www.cs.uic.edu/~mansky/teaching/cs494sf/sp19/schedule.html)
 - [CSC 495/693: Software Foundations](https://www.uncg.edu/cmp/faculty/srtate/495.f16/index.php)
 - [Game Programming Patterns](https://gameprogrammingpatterns.com/contents.html)
 
+
 [Coq]: Assignments/Coq
 [merge-sort]: https://github.com/htmlf/merge-sort
 [balanced-sliding-window]: https://github.com/htmlf/balanced-sliding-window
+[Prof. Venkatesh Chopella]: https://www.iiit.ac.in/people/faculty/choppell/