"We must know. We shall know." - David Hilbert https://iiittheorygroup.github.io
  • HTML 99.8%
  • Rocq Prover 0.2%
Find a file
Anurudh Peduri 44f4ea52b5
Merge pull request #8 from xrisk/master
[SS] Schedule talk 22
2021-01-05 15:35:10 +05:30
Initiatives [SS] Schedule talk 22 2021-01-05 10:24:24 +05:30
_config.yml Update _config.yml 2020-12-22 00:46:24 +05:30
Calendar.md change main tabs: make About the front page and move calendar to separate page 2021-01-04 17:39:18 +05:30
GettingStarted.md update: split content into apt pages - Initiatives, Getting-Started 2021-01-04 17:48:12 +05:30
Readme.md move home page to index.md 2020-12-23 21:47:29 +05:30
Welcome.md Cleanup welcome message, remove redundant title 2021-01-04 17:50:19 +05:30

IIIT Theory Group Website

This repository contains the source code to our website. If you want to contribute, feel free to make a PR or open an issue.