From github.com

GitHub - rodrigogribeiro/pcc116-2021-2

1 1

Contribute to rodrigogribeiro/pcc116-2021-2 development by creating an account on GitHub.

#ITP #agda #math #logic #compsci

1h ago

From daletra.com

Flexicution - Logic

1 1

Yeah. I'm like oh God, oh, oh my God. Bitch I run the game y'all just commentate from the side. I'm like oh God, oh, oh my God.

#logic #flexicution

6h ago

From wordpress.com

What is a “structure” in Mizar?

1 1

We saw how Mizar formalizes, e.g., Groups using structures. We also saw that Mizar’s set theoretic foundations includes an axiom asserting all objects are sets. So is a Group a set, or not? A…

#logic #mizar #isabelle #mathematics #modeltheory #model_theory #proofassistant

11h ago

From daletra.art

Lord Willin' - Logic

1 1

Okay now this how I'm feeling. Lately I'm like the villain. 'Cause while they on that other shit I been posted, out here chillin'.

#logic #lordwillin

11h ago

From daletra.com

Killing Spree - Logic

1 1

Ass, titties, pussy, money, weed. Everywhere I look a killing spree. All the things they wanted me to be. Is all the things that I turned out to be.

#logic #killingspree

15h ago

From rekkerd.org

OPT: OP-1 multisamples on tape by Indossa Sounds

1 1

Indossa Sounds has announced the release of a new sample library for Ableton Live and Logic Pro. The OPT pack brings a fresh batch of sounds from the OP-1 portable synthesizer and sampler by Teenage Engineering.

#logic #Ableton #teenageengineering

19h ago

From daletra.com.br

Midnight - Logic

1 1

Everybody know I be. Everybody know I be (yeah). Yeah. Everybody know I be, in the club VIP (sike not me). Old girl wanna fuck me, yeah she fine.

#logic #midnight

20h ago

From daletra.com

YSIV - Logic

1 1

It's that Young Sinatra IV shit right here. Rest in peace Mac Miller. It's been like ten years. Here we go, yeah.

#ysiv #logic

on Sep 6

From daletra.art

Young Jesus - Logic

1 1

Okay, now take a trip inside my mind like you was off to Venice. It's me and B-I-G L-N-B-O cooking like chemists.

#logic #youngjesus

on Sep 6

From daletra.top

Indica Badu - Logic

1 1

Yeah, yeah. Slay dro. It's that J Dilla right here. Badu, Indica Badu. Yeah that's right. Riding 'round the city with my homies blowing trees.

#logic #indicabadu

on Aug 15

From daletra.com.br

Super Mario World - Logic

1 1

Lemme shout out bobby cuz, 6ix in there like. "Oh my goodness". Nah, I just did that for the adlib, keep that (squad!).

#logic #supermarioworld

on Jul 27