aravantv

fortiss GmbHMunich

Pinned Repositories

collection
An easier way to do collections in Cycle.js
Language:JavaScript00
flux
Application Architecture for Building User Interfaces
Language:JavaScript00
HOL
Canonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.
Language:Standard ML00
HOL-functions-spaces
Complex-valued function spaces in HOL-Light
Language:OCaml0 2 00
HOL-Light-Q
A module like the Q-module of HOL4, but for HOL Light.
Language:OCaml00
HOL4-impconv
Implicational conversions for HOL4
Language:Standard ML0 1 02
impconv
Implicational conversions for HOL Light - NOW INTEGRATED IN HOL LIGHT
Language:OCaml00
mb-webapp
Language:TypeScript1 1 161
collection
An easier way to do collections in Cycle.js
Language:JavaScript60 11 2110

aravantv's Repositories

aravantv/mb-webapp
Language:TypeScript1 1 161
aravantv/collection
An easier way to do collections in Cycle.js
Language:JavaScript00
aravantv/flux
Application Architecture for Building User Interfaces
Language:JavaScript00
aravantv/HOL
Canonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.
Language:Standard ML00
aravantv/HOL-functions-spaces
Complex-valued function spaces in HOL-Light
Language:OCaml0 2 00
aravantv/HOL-Light-Q
A module like the Q-module of HOL4, but for HOL Light.
Language:OCaml00
aravantv/HOL4-impconv
Implicational conversions for HOL4
Language:Standard ML0 1 02
aravantv/impconv
Implicational conversions for HOL Light - NOW INTEGRATED IN HOL LIGHT
Language:OCaml00