Guy Coder

East Coast USA

http://none

top accounts reputation activity subscriptions

Texmaker (Windows version) - first use - Error: Log file not found!

errors texmaker asked Jul 19, 2012 at 23:24

tex.stackexchange.com

48 votes

Learning Automated Theorem Proving

logic proof-assistants automated-theorem-proving coq asked Mar 27, 2012 at 11:18

cs.stackexchange.com

38 votes

If SML.NET had functors why can't F#?

f# ocaml sml functor ml asked Feb 8, 2013 at 16:56

stackoverflow.com

32 votes

What are the bases for different Proof Assistants?

dependent-type foundations cubical-type-theory higher-order-logic asked Feb 8, 2022 at 18:41

proofassistants.stackexchange.com

31 votes

How are programming languages and foundations of mathematics related?

programming-languages history type-theory category-theory asked Feb 14, 2013 at 0:48

cs.stackexchange.com

27 votes

What is the relation between functors in SML and Category theory?

programming-languages functional-programming category-theory asked Feb 14, 2013 at 12:50

cs.stackexchange.com

26 votes

How do I get the commands executed by Bazel

command bazel asked Nov 29, 2015 at 14:09

stackoverflow.com

26 votes

Is there a way to limit the number of CPU cores Bazel uses?

cpu-cores bazel asked Jan 13, 2016 at 0:27

stackoverflow.com

22 votes

What is meant by Category theory doesn't yet know how to deal with higher-order functions?

functional-programming category-theory asked Feb 15, 2013 at 18:58

cs.stackexchange.com

21 votes

What is the difference between `leanprover` and `leanprover-community` GitHub repositories?

lean lean-community github-repository asked Feb 8, 2022 at 17:57

proofassistants.stackexchange.com

Top Answers

147

What is the difference between a token and a lexeme?

stackoverflow.com

119

What's the difference between parse trees and abstract syntax trees (ASTs)?

stackoverflow.com

How to find a folder on my server with a certain name?

askubuntu.com

How to install TensorFlow on Windows?

stackoverflow.com

What's the difference between parse trees and abstract syntax trees (ASTs)?

stackoverflow.com

What is the difference between an Abstract Syntax Tree and a Concrete Syntax Tree?

stackoverflow.com

How to make the transition to functional programming?

softwareengineering.stackexchange.com

How do I check Bazel version?

stackoverflow.com

How to implement a Prolog interpreter in a purely functional language?

cs.stackexchange.com

Feeding tuple into function such as printfn

stackoverflow.com

Does TensorFlow by default use all available GPUs in the machine?

stackoverflow.com

comparing F# and OCaml

stackoverflow.com

Reason to learn propositional & predicate logic

cs.stackexchange.com

So many data types, so little time

proofassistants.stackexchange.com

In F#: How do I obtain a list of the filenames in a directory; expected unit have string

stackoverflow.com

How can I extract embedded fonts from a PDF as valid font files?

stackoverflow.com

Understanding CLP(FD) Prolog code of N-queens problem

stackoverflow.com

Expression parser grammar and left-associativity

stackoverflow.com

Why do we need assembly language?

cs.stackexchange.com

Is there a way to limit the number of CPU cores Bazel uses?

stackoverflow.com

PTVS: How to reference or use Python source code in one project from a second project

stackoverflow.com

Is it ok to use logic programming(like Prolog) as students' first language?

cseducators.stackexchange.com

Where to find published research papers?

cs.stackexchange.com

What are the best uses of Logic Programming?

stackoverflow.com

What does this '()' notation mean?

stackoverflow.com

I'm new to Prolog. Trying to run this code but gives - ERROR: Undefined procedure: teaches/2 (DWIM could not correct goal)

stackoverflow.com

Using algebraic data types for F# to solve algebra problems

stackoverflow.com

Does F# have its own string manipulation libraries?

stackoverflow.com

How do I approach a serious F# project without C# knowledge?

softwareengineering.stackexchange.com

Introduction into first order logic verification

cs.stackexchange.com