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
3
Commits
1
Branch
0
Tags
bce8c1c8eb168f9534ea98c767625d079537c122
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
bce8c1c8eb
Build and Deploy Jekyll / build (push)
Has been cancelled
Details
Actualiser .gitea/workflows/deploy.yml
2026-05-25 14:27:25 +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:27:25 +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%
