Giters
Vincent Aravantinos (aravantv)

aravantv

Geek Repo

2

followers

0

following

10

stars

Company:fortiss GmbH

Location:Munich

Home Page:https://www.fortiss.org/en/about-us/people/vincent-aravantinos/

Github PK Tool:Github PK Tool

Vincent Aravantinos's repositories

mb-webapp

Language:TypeScriptLicense:MITStargazers:1Issues:1Issues:16

collection

An easier way to do collections in Cycle.js

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

flux

Application Architecture for Building User Interfaces

Language:JavaScriptLicense:NOASSERTIONStargazers:0Issues:0Issues:0

HOL

Canonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.

Language:Standard MLLicense:NOASSERTIONStargazers:0Issues:0Issues:0

HOL-functions-spaces

Complex-valued function spaces in HOL-Light

Language:OCamlStargazers:0Issues:2Issues:0

HOL-Light-Q

A module like the Q-module of HOL4, but for HOL Light.

Language:OCamlStargazers:0Issues:0Issues:0

HOL4-impconv

Implicational conversions for HOL4

Language:Standard MLStargazers:0Issues:1Issues:0

impconv

Implicational conversions for HOL Light - NOW INTEGRATED IN HOL LIGHT

Language:OCamlStargazers:0Issues:0Issues:0