jaytux/jaytux.com
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Forgot some spaces

Browse Source
This commit is contained in:
jay-tux
2025-09-24 18:40:03 +02:00
parent 2b828878c7
commit 4dfb816bb4
2 changed files with 7 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
index.html
View File

@@ -253,9 +253,11 @@ Assistant)<br />
<em>Description:</em> A project-oriented course meant to teach students <em>Description:</em> A project-oriented course meant to teach students
to work in a professional setting, by building a mobile app.</p></li> to work in a professional setting, by building a mobile app.</p></li>
<li><p><strong>Foundations of Programming Languages</strong> (Teaching <li><p><strong>Foundations of Programming Languages</strong> (Teaching
Assistant) <em>Semester:</em> Fall 2025 <em>Descriptoin:</em> A course Assistant)<br />
in formalization, teaching students to reason formally about programming <em>Semester:</em> Fall 2025<br />
languages and the use of the Rocq theorem prover.</p></li> <em>Descriptoin:</em> A course in formalization, teaching students to
reason formally about programming languages and the use of the Rocq
theorem prover.</p></li>
</ul> </ul>
<hr /> <hr />
<h2 id="education">Education</h2> <h2 id="education">Education</h2>

4
jaytux.com.md
View File

@@ -61,8 +61,8 @@ header-includes:
*Semester:* Spring 2025 *Semester:* Spring 2025
*Description:* A project-oriented course meant to teach students to work in a professional setting, by building a mobile app. *Description:* A project-oriented course meant to teach students to work in a professional setting, by building a mobile app.
- **Foundations of Programming Languages** (Teaching Assistant) - **Foundations of Programming Languages** (Teaching Assistant)
*Semester:* Fall 2025 *Semester:* Fall 2025
*Descriptoin:* A course in formalization, teaching students to reason formally about programming languages and the use of the Rocq theorem prover. *Descriptoin:* A course in formalization, teaching students to reason formally about programming languages and the use of the Rocq theorem prover.
--- ---