Skip to content

Commit 0f65ef0

Browse files
committed
fmt
1 parent 9bdf954 commit 0f65ef0

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

README.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -253,4 +253,4 @@ Mentions
253253
* Maxim Sokhatsky. <a href="https://www.youtube.com/watch?v=KHDgytozLv4">Презентація кубічного CCHM прувера Anders 0.7.2</a>. 2021-07-18
254254
* Maxim Sokhatsky. <a href="https://tonpa.guru/stream/2022/2022-01-17%20Anders.htm">Anders: верификатор математики</a>. 2022-01-17
255255
* Maxim Sokhatsky. <a href="https://groupoid.github.io/anders/doc/anders.pdf">Anders: Modal Homotopy Type System</a>. 2022-01-17
256-
256+
* Maxim Sokhatsky. <a href="https://axio.groupoid.space">Система формальних мов Групоїд Інфініті</a>. 2024-11-26

0 commit comments

Comments
 (0)