mrf
/
recursorwf
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
Browse Source

fix link

master
Julien Marquet 3 years ago
parent
88069df15d
commit
b29adfbf95
1 changed files with 1 additions and 1 deletions
Whitespace
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Unified View
Diff Options
Show Stats Download Patch File Download Diff File
  1. 2
      src/index.md

2
src/index.md
Unescape View File

@ -13,6 +13,6 @@ Computer Science & Math Student at ENS Ulm
Current topics of interest: Current topics of interest:
- formal verification with [lean](leanprover.github.io) - formal verification with [lean](https://leanprover.github.io)
- [Geometry of Interaction](https://ncatlab.org/nlab/show/Geometry+of+Interaction) - [Geometry of Interaction](https://ncatlab.org/nlab/show/Geometry+of+Interaction)

Write Preview
Loading…
Cancel
Save