This website requires JavaScript.
Explore
Help
Sign In
alois
/
CoqResearch
Watch
1
Star
0
Fork
0
You've already forked CoqResearch
Code
Issues
Pull Requests
Actions
Packages
Projects
Releases
Wiki
Activity
4
Commits
1
Branch
0
Tags
9a2a45da6576a649fea4b1c2316c7f9e4df0cd0f
T
Code
Clone
HTTPS
Tea CLI
Open with VS Code
Open with VSCodium
Open with Intellij IDEA
Download ZIP
Download TAR.GZ
Download BUNDLE
alois
9a2a45da65
Build and Deploy Jekyll / build (push)
Successful in 1s
Details
Actualiser .gitea/workflows/deploy.yml
2026-05-25 14:44:13 +00:00
_data
feat: initialisation site académique
2026-05-25 16:15:37 +02:00
_layouts
feat: initialisation site académique
2026-05-25 16:15:37 +02:00
_news
feat: initialisation site académique
2026-05-25 16:15:37 +02:00
_publications
feat: initialisation site académique
2026-05-25 16:15:37 +02:00
_showcase
feat: initialisation site académique
2026-05-25 16:15:37 +02:00
.gitea
/workflows
Actualiser .gitea/workflows/deploy.yml
2026-05-25 14:44:13 +00:00
assets
/css
feat: initialisation site académique
2026-05-25 16:15:37 +02:00
_config.yml
feat: initialisation site académique
2026-05-25 16:15:37 +02:00
.gitignore
feat: initialisation site académique
2026-05-25 16:15:37 +02:00
404.html
feat: initialisation site académique
2026-05-25 16:15:37 +02:00
Gemfile
feat: initialisation site académique
2026-05-25 16:15:37 +02:00
index.html
feat: initialisation site académique
2026-05-25 16:15:37 +02:00
publications.html
feat: initialisation site académique
2026-05-25 16:15:37 +02:00
showcase.html
feat: initialisation site académique
2026-05-25 16:15:37 +02:00
S
Description
No description provided
MIT
33
MiB
Languages
HTML
65.5%
JavaScript
18.3%
CSS
14.6%
Ruby
1.6%
