https://github.com/hargonix/socket.lean

sockets for Lean 4
https://github.com/hargonix/socket.lean

Last synced: about 2 months ago
JSON representation

sockets for Lean 4

• Host: GitHub
• URL: https://github.com/hargonix/socket.lean
• Owner: hargoniX
• License: mit
• Created: 2023-08-19T22:19:59.000Z (over 1 year ago)
• Default Branch: main
• Last Pushed: 2024-07-16T16:11:18.000Z (6 months ago)
• Last Synced: 2024-10-13T13:28:12.670Z (3 months ago)
• Language: Lean
• Size: 34.2 KB
• Stars: 17
• Watchers: 1
• Forks: 10
• Open Issues: 1
• Metadata Files:
  • License: LICENSE

Awesome Lists containing this project