https://github.com/tisonkun/aya-dev

~ Youkai (∞, 1)-Mountain
https://github.com/tisonkun/aya-dev

Last synced: 2 days ago
JSON representation

~ Youkai (∞, 1)-Mountain

• Host: GitHub
• URL: https://github.com/tisonkun/aya-dev
• Owner: tisonkun
• License: mit
• Fork: true (aya-prover/aya-dev)
• Created: 2023-10-05T14:38:38.000Z (12 months ago)
• Default Branch: main
• Last Pushed: 2023-10-07T01:29:41.000Z (12 months ago)
• Last Synced: 2023-10-07T02:27:13.446Z (12 months ago)
• Homepage: https://www.aya-prover.org
• Size: 10.1 MB
• Stars: 0
• Watchers: 0
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Contributing: .github/CONTRIBUTING.md
  • License: LICENSE
  • Code of conduct: .github/CODE_OF_CONDUCT.md

Awesome Lists containing this project