https://github.com/leanprover/verso-web-components

A collection of reusable components from the Lean website designed build related sites with the same look and feel.
https://github.com/leanprover/verso-web-components

Last synced: 5 months ago
JSON representation

A collection of reusable components from the Lean website designed build related sites with the same look and feel.

• Host: GitHub
• URL: https://github.com/leanprover/verso-web-components
• Owner: leanprover
• License: apache-2.0
• Created: 2025-11-10T21:30:22.000Z (7 months ago)
• Default Branch: main
• Last Pushed: 2025-12-19T18:32:27.000Z (5 months ago)
• Last Synced: 2025-12-20T10:56:14.618Z (5 months ago)
• Language: Lean
• Size: 702 KB
• Stars: 2
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# verso-web-components

A collection of reusable components from the Lean website designed build related sites with the same look and feel.

## License

Licensed under the [Apache-2.0 license](https://github.com/leanprover/verso-web-components/blob/main/LICENSE).