Skip to content

748978460/euclidesprobationem.github.io

 
 

Repository files navigation

Omega Proof Research Group

Thanks for the work of template, and their website originated from this template, of which this is no longer a fork so that we can have our own issues and pull requests. See bottom of this file for licensing info, etc.


(Blog actions like on-boarding new group member are well explained in README, thus no changes updated)

This README is a slightly modified, compressed, and reorganized version of the original from the template.


Making Edits

For general information on editing files, committing changes and opening pull requests see Making Changes

On-Boarding

Welcome to the group! See onboarding for instructions on adding your information to the website.

Existing group members should also refer to onboarding, when updating their information.

Adding a Paper / Patent 📄

Congratulations on publishing a paper! Please add it to the website by following Adding a Paper. Ditto for patents!

Adding a News Item 📰

Were you mentioned in a newspaper, journal, or on Twitter! See Adding a News Item

Announcing a Talk 📣

Do you have an up coming talk, presentation, or dissertation? See Adding a Talk


Credit Where Credit is Due

This project originated at the University of Washington. You can see the machinery working live at their site.

And the template is forked from CMU Viswanathan group, whose research group wesbite live at their site

This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.

Releases

No releases published

Packages

No packages published

Languages

  • HTML 86.5%
  • TeX 5.4%
  • Python 2.4%
  • Makefile 2.0%
  • JavaScript 1.7%
  • SCSS 1.5%
  • Other 0.5%